IsaPlanner - PDFSEARCH.IO - Document Search Engine

IsaPlanner
Results: 22

#	Item
1	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 Add to Reading List Source URL: www.cse.chalmers.se - Date: 2013-09-13 09:25:11
2	C:/Mina dokument/4th year project/ProjectReport.dvi Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2007-02-02 09:38:01 Automated theorem proving Rippling IsaPlanner A* search algorithm Mathematical proof Planner Isabelle Theorem Prolog
3	Automated Discovery of Inductive Lemmas Moa Johansson NI VER Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Rippling Theorem IsaPlanner Lemma Algorithm Analysis
4	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 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-25 09:28:59 Automated theorem proving Heuristics Rippling Economy Money E-commerce IsaPlanner Reference Ripple Mathematical proof Annotation Planner
5	Best-First Rippling Moa Johansson, Alan Bundy and Lucas Dixon 1 School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-10 06:07:20 Automated theorem proving Mathematics Theoretical computer science Search algorithms Heuristics Rippling Logic IsaPlanner Formal languages Logic in computer science A* search algorithm Mathematical proof
6	A Proof Planning Framework For Isabelle Lucas Dixon NI VER Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-27 10:16:29 Automated theorem proving Mathematics Mathematical logic Logic IsaPlanner Rippling Mathematical proof Mathematical induction Proof assistant Isabelle Algorithm Peano axioms
7	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 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-02-25 13:12:10
8	UITP 2005 Preliminary Version Interactive and Hierarchical Tracing of Techniques in IsaPlanner Lucas Dixon 1,2 Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-15 09:19:07 Automated theorem proving IsaPlanner Rippling Mathematical proof Theorem KeY Proof assistant Direct proof Mathematical logic Mathematical induction
9	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 Language: English - 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
10	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 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2008-12-03 05:18:38