EPSRC logo

Details of Grant 

EPSRC Reference: EP/I011005/1
Title: Automatic Proof Procedures for Polynomials and Special Functions
Principal Investigator: Paulson, Professor LC
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Laboratory
Organisation: University of Cambridge
Scheme: Standard Research
Starts: 01 November 2010 Ends: 31 October 2014 Value (£): 533,183
EPSRC Research Topic Classifications:
Fundamentals of Computing Software Engineering
System on Chip
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/I010335/1
Panel History:
Panel DatePanel NameOutcome
07 Sep 2010 ICT Prioritisation Panel (Sept 2010) Announced
Summary on Grant Application Form
An engineering design is expected to satisfy safety constraints, many of which can be expressed as mathematical and logical formulas. Computer software exists that can check some such formulas automatically, but although they can have a large and complicated logical structure, the mathematical component currently has to be linear: in other words, involving nothing more complicated than addition. Real-world engineering problems involve sophisticated mathematical concepts, such as polynomials and transcendental functions.The investigators have developed software (called MetiTarski and RAHD) that can solve such problems in many cases. The current project will extend the scope of this software, increasing its power and targeting it at specific real-world application areas. One such application is analogue circuitry, which is widespread in consumer electronics. The project will investigate many other potential applications In engineering and the mathematical sciences.
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: http://www.cl.cam.ac.uk/~lp15/papers/Arith/index.html
Further Information:  
Organisation Website: http://www.cam.ac.uk