Details of Grant 

EPSRC Reference:	GR/R29604/01
Title:	Kan:- a Categorical Approach To Computer Algebra
Principal Investigator:	Ghani, Professor N
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Mathematics
Organisation:	University of Leicester
Scheme:	Standard Research (Pre-FEC)
Starts:	01 June 2001	Ends:	30 September 2004	Value (£):	126,322
EPSRC Research Topic Classifications:	Algebra & Geometry Fundamentals of Computing
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:
Summary on Grant Application Form
Current computer algebra packages suffer from two main drawbacks: i) they are limited to specific problem domains; and ii) often they are limited to finite algebraic structures. This project will tackle these problems by developing a categorical specification language for uniformly modelling problems and using a rewriting based model of computation applicable to infinitary algebraic structures.The success of this project will be its ability to solve problems in the mathematical and computer science communities. Therefore we will develop Kan in consultation with clients whose input will ensure the project remains focused upon the solution of their problems. In addition, we shall use a number of optimisations to guarantee the efficiency of the end product
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.le.ac.uk