 | 2008 |
|---|
| 14 |       | Laura I. Meikle,
Jacques D. Fleuriot:
Combining Isabelle and QEPCAD-B in the Prover's Palette.
AISC/MKM/Calculemus 2008: 315-330 |
| 13 | | Laura I. Meikle,
Jacques D. Fleuriot:
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B.
CAV 2008: 309-313 |
| 2006 |
|---|
| 12 | | Alan Bundy,
Lucas Dixon,
Jeremy Gow,
Jacques D. Fleuriot:
Constructing Induction Rules for Deductive Synthesis Proofs.
Electr. Notes Theor. Comput. Sci. 153(1): 3-21 (2006) |
| 11 | | Lucas Dixon,
Jacques D. Fleuriot:
A proof-centric approach to mathematical assistants.
J. Applied Logic 4(4): 505-532 (2006) |
| 2004 |
|---|
| 10 | | Laura I. Meikle,
Jacques D. Fleuriot:
Mechanical Theorem Proving in Computational Geometry.
Automated Deduction in Geometry 2004: 1-18 |
| 9 | | Lucas Dixon,
Jacques D. Fleuriot:
Higher Order Rippling in IsaPlanner.
TPHOLs 2004: 83-98 |
| 2003 |
|---|
| 8 | | Lucas Dixon,
Jacques D. Fleuriot:
IsaPlanner: A Prototype Proof Planner in Isabelle.
CADE 2003: 279-283 |
| 7 | | Laura I. Meikle,
Jacques D. Fleuriot:
Formalizing Hilbert's Grundlagen in Isabelle/Isar.
TPHOLs 2003: 319-334 |
| 2002 |
|---|
| 6 | | Ewen Maclean,
Jacques D. Fleuriot,
Alan Smaill:
Proof planning Non-standard Analysis.
AMAI 2002 |
| 2001 |
|---|
| 5 | | Jacques D. Fleuriot:
Theorem Proving in Infinitesimal Geometry.
Logic Journal of the IGPL 9(3): (2001) |
| 2000 |
|---|
| 4 | | Jacques D. Fleuriot:
Nonstandard Geometric Proofs.
Automated Deduction in Geometry 2000: 246-267 |
| 3 | | Jacques D. Fleuriot:
On the Mechanization of Real Analysis in Isabelle/HOL.
TPHOLs 2000: 145-161 |
| 1998 |
|---|
| 2 | | Jacques D. Fleuriot,
Lawrence C. Paulson:
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle.
Automated Deduction in Geometry 1998: 47-66 |
| 1 | | Jacques D. Fleuriot,
Lawrence C. Paulson:
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia.
CADE 1998: 3-16 |
