A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK

First Page		Document Content
Date: 2005-09-01 07:28:34 Automated theorem proving Logic Theoretical computer science Mathematical logic Isabelle IsaPlanner Proof assistant Mathematical proof Automated proof checking Rippling Theorem Proof		A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 215,33 KB Share Document on Facebook

	IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and DocID: 1rKsi - View Document
	C:/Mina dokument/4th year project/ProjectReport.dvi DocID: 1pIaW - View Document
	Automated Discovery of Inductive Lemmas Moa Johansson NI VER DocID: 1ovwH - View Document
	Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk DocID: 1m3sI - View Document
	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics DocID: 1lFKS - View Document