| EPSRC Reference: |
GR/M98340/01 |
| Title: |
ROPA: EVALUATION, DESIGN AND VALIDATION OF EXACT REAL COMPUTATION IN A PROBLEM SOLVING ENVIRONMENT |
| Principal Investigator: |
Martin, Professor UH |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of St Andrews |
| Scheme: |
ROPA |
| Starts: |
01 December 1999 |
Ends: |
30 November 2001 |
Value (£): |
84,182
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Exact real arithmetic is a novel technique for real number computation which complements established numeric and symbolic methods. We aim to build on recent advances in the theory of exact real number computation by evaluation of existing algorithms, and by the design and validation of new algorithms, within the NAG/Maple problem-solving environment. The evaluation and designs stages will use numerical experimental and symbolic analytical techniques to enhance current methods.
|
|
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.st-and.ac.uk |