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
|