Scientific Conference on Computer Aided Proofs in Analysis, University of Cincinnati, Spring 1989
{'Code': '05010200', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'S. Kamal Abdali', 'PO_EMAI': None, 'PO_PHON': None}
A three or four day conference on the use of algebraic processors as a          tool in pure and applied mathematics will be held at the University of          Cincinnati in the spring of 1989.  It will bring together researchers           from various disciplines who are using algebraic processors in their            work, developers of general computer packages, representatives of the           computer industry, and interested scientists who wish to learn about            these developments.  Plenary sessions and contributed paprs are                 expected to deal with computer-aided proofs of mathematical theorems,           exact calculations, new algebraic algorithms, and software development.         Time for demonstrations and informal discussions will also be                   allocated.                                                                                                                                                      Conference should help to promote the use of algebraic processors in            mathematics and probably in other sciences as well, and should also             promote the dvelopment of better software for algebraic manipulation.
[{'FirstName': 'Kenneth', 'LastName': 'Meyer', 'PI_MID_INIT': 'R', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Kenneth R Meyer', 'EmailAddress': 'Ken.Meyer@uc.edu', 'NSF_ID': '000276050', 'StartDate': '09/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Dieter', 'LastName': 'Schmidt', 'PI_MID_INIT': 'S', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Dieter S Schmidt', 'EmailAddress': 'dieter.schmidt@uc.edu', 'NSF_ID': '000385376', 'StartDate': '09/01/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'University of Cincinnati Main Campus', 'CityName': 'CINCINNATI', 'ZipCode': '452202872', 'PhoneNumber': '5135564358', 'StreetAddress': '2600 CLIFTON AVE', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Ohio', 'StateCode': 'OH', 'CONGRESSDISTRICT': '01', 'CONGRESS_DISTRICT_ORG': 'OH01', 'ORG_UEI_NUM': 'DZ4YCZ3QSPR5', 'ORG_LGL_BUS_NAME': 'CINCINNATI UNIV OF', 'ORG_PRNT_UEI_NUM': 'DZ4YCZ3QSPR5'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '126000', 'Text': 'INFRASTRUCTURE PROGRAM'}, {'Code': '286500', 'Text': 'NUMERIC, SYMBOLIC & GEO COMPUT'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8813783.xml'}