Details of Grant 

EPSRC Reference:	GR/S01771/01
Title:	Platform : The Integration and Interaction of Multiple Mathematical Reasoning Processes
Principal Investigator:	Bundy, Professor A
Other Investigators:	Fleuriot, Professor J Aspinall, Professor D Colton, Professor S Smaill, Dr A Ireland, Professor A Jackson, Dr PB Dennis, Dr L Georgieva, Dr L
Researcher Co-Investigators:
Project Partners:
Department:	Sch of Informatics
Organisation:	University of Edinburgh
Scheme:	Platform Grants (Pre-FEC)
Starts:	01 October 2002	Ends:	31 March 2007	Value (£):	426,265
EPSRC Research Topic Classifications:	Bioinformatics Fundamentals of Computing
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
The proposed platform grant will be used to provide essential infrastructure and exploratory activities that will support a portfolio of projects within the overall aims described below.The research aims of the Mathematical Reasoning Group are the automation of mathematical reasoning processes, including their analysis, development and interaction. These processes will include: concept formation; theory building; conjecture making; proof and counterexample finding the learning of new proof methods and critics; and the refinement, revision and maintenance of conjectures, representations and theories. A major focus will continue to be on mechanisms for guiding proof search, especially the further development of proof planning, and it will include both forma and'informal' reasoning, for instance, diagrammatic reasoning, schematic proof and the use of analogy, abstraction, reflection and symmetry. We expect to find applications of this work in formal methods of system design, commonsense reasoning, the computer-based teaching of mathematics and the provision of computational aids for mathematicians. Our work is a unique blend of the techniques of artificial intelligence and theoretical computer science.
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