Formation of Methods for Proof Planning in Mathematics

EPSRC Grant GR/M22031/01
University logo

Contents

Project Coordinates

Start Date:7 December 1998
End Date:6 February 2002
Gap:14 November 2000 - 13 January 2001
Total Grant Value:£ 136,672
Funding Agency:EPSRC
Grant:GR/M22031/01

People

Grant Proposal

The original proposal can be found as http://www.cs.bham.ac.uk/~mmk/projects/MethodFormation/proposal.html (also as gzipped PostScript, and pdf file).

Final Report

The final report can be found as http://www.cs.bham.ac.uk/~mmk/projects/MethodFormation/final-report.html (also as gzipped PostScript, and pdf file).

Publications

Talks - Posters - Lectures

System Demo

Related Persons and Research Groups

Advisors, Contacts, Visitors, Friends

Research Groups and Projects

Related Work in the School of Computer Science

See: http://www.cs.bham.ac.uk/research/.



The URL of this page is: file:/home/mmk/public_html/projects/MethodFormation/index.html
Maintained by Manfred Kerber, e-mail: M.Kerber@cs.bham.ac.uk
Last update: 13.9.2002
School of Computer Science, The University of Birmingham