| EPSRC Reference: |
GR/S31099/01 |
| Title: |
Automated Discovery in Mathematics |
| 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: |
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 |