Topics in the Representation and Manipulation of            Mathematical Knowledge
{'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}
The purpose of this research is to investigate computer technology in           support of the representation and manipulation of mathematical                  knowledge.  The long-term goal is to produce a consistent and                   constructive representation of mathematics, driven by the needs of              significant applications.  Key issues to be examined include the use of         object-oriented multiple representations, the encoding of dependencies,         and techniques for incorporating ambitious data bases of formulas of            various types.  These applications might include                                                                                                                o    The development of modern interactive systems for general                       mathematics.                                                                                                                                               o    Integrated applications which involve access to large data-                     bases of  mathematical or physical knowledge, approximation                     techniques, and "expert" systems; areas of interest include                     computational fluid dynamics, robot planning, and computer-                     aided design of solids.                                                                                                                                    o    Publication of hypertext-like technical reference texts or                      educational material which would include not only mathematics                   as typeset material but mathematics as representations and                      executable algorithms.                                                                                                                                     o    Interactive manipulation of scientific software (program                        text, libraries) for program generation, (human)                                comprehension, improvement, and validation.
{'FirstName': 'Richard', 'LastName': 'Fateman', 'PI_MID_INIT': 'J', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Richard J Fateman', 'EmailAddress': 'fateman@cs.berkeley.edu', 'NSF_ID': '000133987', 'StartDate': '09/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of California-Berkeley', 'CityName': 'BERKELEY', 'ZipCode': '947101749', 'PhoneNumber': '5106433891', 'StreetAddress': '1608 4TH ST STE 201', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '12', 'CONGRESS_DISTRICT_ORG': 'CA12', 'ORG_UEI_NUM': 'GS3YEVSS12N6', 'ORG_LGL_BUS_NAME': 'REGENTS OF THE UNIVERSITY OF CALIFORNIA, THE', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '2865', 'Text': 'NUMERIC, SYMBOLIC & GEO COMPUT'}, {'Code': '9145', 'Text': 'SPECIAL PROGRAMS-RESERVE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8812843.xml'}