EPSRC logo

Details of Grant 

EPSRC Reference: EP/J001058/1
Title: The Integration and Interaction of Multiple Mathematical Reasoning Processes
Principal Investigator: Ireland, Professor A
Other Investigators:
Aspinall, Professor D Fleuriot, Dr J Jackson, Dr PB
Colton, Professor S Grov, Dr G Michaelson, Professor GJ
Gow, Dr J McNeill, Dr F Smaill, Dr A
Bundy, Professor A
Researcher Co-Investigators:
Project Partners:
Department: S of Mathematical and Computer Sciences
Organisation: Heriot-Watt University
Scheme: Platform Grants
Starts: 01 August 2011 Ends: 31 October 2015 Value (£): 1,140,286
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies Aerospace, Defence and Marine
Related Grants:
Panel History:
Panel DatePanel NameOutcome
26 May 2011 Platform Grants Full Proposals 26 May 2011 Announced
Summary on Grant Application Form
The proposed Platform Grant renewal will be used to provide essential

infrastructure and exploratory activities that will support a portfolio of

projects that focus on the automation of mathematical reasoning processes,

including their analysis, development and interaction. We can be broadly

classified by our "holistic" perspective of automated reasoning. Central to

this theme is the interplay between representation and reasoning. Discovering

the "right" representation can often dramatically simplify the reasoning

required in solving a problem. Conversely, meta-level reasoning, and in

particular proof-failure analysis, can often provide guidance in evolving

the "right" representation.

The renewal of the Platform Grant will enable us to maintain and strengthen the momentum

that has been build up around this theme -- both in terms of basic research as

well as applications: The former covers a spectrum of topics, including:

cognitive aspects of theory formulation and reformulation;

mathematical discovery and automatic theorem generation; ontology creation,

repair and evolution; proof procedures; proof planning; AI problem reformulation;

quantum computation; computational creativity; visualisation of reasoning processes.

The latter covers wide ranging applications such as: software verification; formal

modelling of software intensive systems; graphics design; games design;

disaster recovery planning.

Our work is a unique blend of the techniques of artificial intelligence

and theoretical computer science -- we also believe we are unique in our

holistic perspective of automated reasoning and mathematical discovery.
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.hw.ac.uk