| EPSRC Reference: |
GR/R84559/01 |
| Title: |
Applying HR to the Study of Zariski Spaces |
| Principal Investigator: |
Bundy, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
08 April 2002 |
Ends: |
07 May 2003 |
Value (£): |
58,897
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The HR program has been implemented, using general principles from Artificial Intelligence, to form theories across a range of mathematical domains. Moreover, HR has also been applied successfully to discovery tasks in certain theories.A Zariski Space is a newly invented mathematical domain, incorporating several existing domains, including rings, modules and topologies, among others. Since Zariski Spaces are a recent development, they have not yet been studied to any great extent.This proposal couples the authors of HR with the inventor of Zariski Spaces. We will employ HR to explore this new domain, and in so doing, identify ways in which to evaluate and improve HR. There is the potential therefore, not only to discover new results in Zariski Spaces, but also to strengthen HR as a discovery tool for mathematicians.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.ed.ac.uk |