EPSRC logo

Details of Grant 

EPSRC Reference: GR/S31099/01
Title: Automated Discovery in Mathematics
Principal Investigator: Bundy, Professor A
Other Investigators:
Smith, Professor PF Colton, Professor S
Researcher Co-Investigators:
Project Partners:
Department: Sch of Informatics
Organisation: University of Edinburgh
Scheme: Standard Research (Pre-FEC)
Starts: 01 August 2003 Ends: 31 August 2006 Value (£): 274,157
EPSRC Research Topic Classifications:
Artificial Intelligence Fundamentals of Computing
Logic & Combinatorics
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
The goal of this project is to produce a computer system that mathematicians can emply for creative assistance to reserach and educational tasks. This assistance will be in the form of suggested examples, concepts, conjectures and theorems in the domain under consideration. We propose to build on the existing HR system, which has a proven track record in making discoveries in mathematics, by adding new dimensions to its theory formation abilities. These new abilities include deductive and abductive automated reasoning processes, and the ability to work with the same mathematical objects (in the same representations) as those dealt with by computer algebra systems.
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