EPSRC logo

Details of Grant 

EPSRC Reference: EP/I010335/1
Title: Automatic Proof Procedures for Polynomials and Special Functions
Principal Investigator: Jackson, Dr PB
Other Investigators:
Researcher Co-investigators:
Project Partners:
Department: Sch of Informatics
Organisation: University of Edinburgh
Scheme: Standard Research
Starts: 01 November 2010 Ends: 31 October 2014 Value (£): 518,444
EPSRC Research Topic Classifications:
Fundamentals of Computing Software Engineering
System on Chip
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/I011005/1
Panel History:
Panel DatePanel NameOutcome
07 Sep 2010 ICT Prioritisation Panel (Sept 2010) Announced
Summary on Grant Application Form
No summary is available for this grant.
Key Findings
No information has been submitted for this grant.
Potential use in non-academic contexts
No information has been submitted for this grant.
Impacts
No information has been submitted for this grant.
Sectors submitted by the Researcher
No information has been submitted for this grant.
Project URL:  
Further Information:  
Organisation Website: http://www.ed.ac.uk