| EPSRC Reference: |
GR/L11724/01 |
| Title: |
COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING |
| 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 June 1996 |
Ends: |
30 September 1998 |
Value (£): |
790,433
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
We propose to continue our study of mathematical reasoning processes and their interaction. In particular, we propose to continue to explore the central role played by the explicit representation of proof plans in a meta-theoretic calculus. Our main application area will continue to be inductive proofs, in general, and the application of these proofs to software and hardware development, in particular. These proof plans will be implemented in the Mollusc, ClaM and Barnacle 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 |