EPSRC Reference: |
GR/R84139/01 |
Title: |
Accurate simplification of elementary functions |
Principal Investigator: |
Davenport, Professor JH |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
Computer Science |
Organisation: |
University of Bath |
Scheme: |
Standard Research (Pre-FEC) |
Starts: |
01 September 2002 |
Ends: |
30 November 2005 |
Value (£): |
185,495
|
EPSRC Research Topic Classifications: |
Algebra & Geometry |
Fundamentals of Computing |
|
EPSRC Industrial Sector Classifications: |
|
Related Grants: |
|
Panel History: |
|
Summary on Grant Application Form |
z2 = z is not always true: consider z = -1. What of zz - 1 = z - 1 z + 1? While algebraic identities have been much studied, there are essentially no formal methods for studying identities between functions, complete with branch cuts and special cases. This project proposes to develop some, based on analysing, using techniques from quantifier elimination and cylindrical algebraic decomposition, the geometry of C (or C ) induced by the various branch cuts, and hence determining the truth (or falsity) of the proposed identity on each region.
|
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 |