Informatics Report Series


Jacques Fleuriot

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-0893 Jun 2001 A Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton's Principia
EDI-INF-RR-0492 2004 Higher Order Rippling in IsaPlanner
EDI-INF-RR-0491 2005 Constructing Induction Rules for Deductive Synthesis Proofs
EDI-INF-RR-0484 2005 A Proof-Centric Approach to mathematical assistants
EDI-INF-RR-0483 Jul 2003 IsaPlanner: A Prototype Proof Planner in Isabelle
EDI-INF-RR-0482 2001 Theorem Proving in Infinitesimal Geometry
EDI-INF-RR-0242 Apr 2005 Geometry Explorer: Combining Dynamic Geometry, Automated Geometry Theorem Proving and Diagrammatic Proofs
EDI-INF-RR-0175 Mar 2002 Proof-planning Non-standard Analysis (ii)
EDI-INF-RR-0173 Jan 2002 Proof-planning Non-standard Analysis

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh