EPSRC logo

Details of Grant 

EPSRC Reference: GR/L11724/01
Title: COMPUTATIONAL MODELLING OF MATHEMATICAL REASONING
Principal Investigator: Bundy, Professor A
Other Investigators:
Ireland, Professor A Smaill, Dr A Lowe, Dr H
Researcher Co-Investigators:
Project Partners:
Lloyd's Register
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:
Artificial Intelligence
EPSRC Industrial Sector Classifications:
R&D
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