EPSRC logo

Details of Grant 

EPSRC Reference: EP/T015713/1
Title: Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition
Principal Investigator: Davenport, Professor JH
Other Investigators:
Bradford, Dr R
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: University of Bath
Scheme: Standard Research
Starts: 01 July 2020 Ends: 30 September 2024 Value (£): 505,757
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/T015748/1
Panel History:
Panel DatePanel NameOutcome
15 Jan 2020 EPSRC ICT Prioritisation Panel January 2020 Announced
Summary on Grant Application Form
No summary is available for this grant.
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.bath.ac.uk