EPSRC logo

Details of Grant 

EPSRC Reference: GR/K75767/01
Title: GEOMETRY INVARIANTS AND TERMINATION
Principal Investigator: Martin, Professor UH
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: University of St Andrews
Scheme: Standard Research (Pre-FEC)
Starts: 01 August 1996 Ends: 31 July 1998 Value (£): 81,927
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
Faced with a large population of complex objects, be they possible solutions to equations, particular data structures, graphical images, or partial proofs, we often need to locate a solution: an individual with particular properties.Computationally we often have a measure function which indicates how good a match an individual is to our desired solution. Mathematically the measure function gives us a partial ordering o the space of objects or interest. Many different orderings are known, and classify them allows us to reason about the underlying objects, and to identify those measure functions which might be of particular computationally.We seek classifying spaces and invariants for measure functions on l-terms and first order structures so as to develop a general theory which explains the behaviour of different measure functions, relates them to the things they are attempting to measure and allows us to identify those measure functions which are most useful on supplications such as symbolic computation algebra, process algebra and theorem proving. The work builds upon results already obtained for certain special cases.
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