News
About
Studying
Research
Alumni
Global
Students
Staff
Schools & departments
Search the Research Explorer
Search the full site
Search for people
Contact us
University Homepage
Research
Explorer home
Projects
A generic approach to proof planning
Explorer home
Staff
Research projects
Research outputs
Research activities
Colleges & Schools
Prizes
Research press coverage
Datasets
A generic approach to proof planning
Project
:
Research
Fleuriot, Jacques
(Principal Investigator)
School of Informatics
Centre for Intelligent Systems and their Applications
Status
Finished
Effective start/end date
1/07/01
→
30/06/04
Total award
£62,840.00
Funding organisation
EPSRC
Funder project reference
GR/N37414
Period
1/07/01
→
30/06/04
Research outputs
A proof-centric approach to mathematical assistants
Research output
:
Contribution to journal
›
Article