EPSRC logo

Details of Grant 

EPSRC Reference: GR/R84559/01
Title: Applying HR to the Study of Zariski Spaces
Principal Investigator: Bundy, Professor A
Other Investigators:
Colton, Professor S
Researcher Co-Investigators:
Dr R McCasland
Project Partners:
Foreign Academic Institution
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