EPSRC Reference: 
GR/K75767/01 
Title: 
GEOMETRY INVARIANTS AND TERMINATION 
Principal Investigator: 
Martin, Professor UH 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Computer Science 
Organisation: 
University of St Andrews 
Scheme: 
Standard Research (PreFEC) 
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 lterms 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 nonacademic 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.stand.ac.uk 