|
Search the dblp DataBase
Jacques D. Fleuriot:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jacques D. Fleuriot
Nonstandard Geometric Proofs. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:246-267 [Conf]
- Jacques D. Fleuriot, Lawrence C. Paulson
Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1998, pp:47-66 [Conf]
- Laura I. Meikle, Jacques D. Fleuriot
Mechanical Theorem Proving in Computational Geometry. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2004, pp:1-18 [Conf]
- Ewen Maclean, Jacques D. Fleuriot, Alan Smaill
Proof planning Non-standard Analysis. [Citation Graph (0, 0)][DBLP] AMAI, 2002, pp:- [Conf]
- Lucas Dixon, Jacques D. Fleuriot
IsaPlanner: A Prototype Proof Planner in Isabelle. [Citation Graph (0, 0)][DBLP] CADE, 2003, pp:279-283 [Conf]
- Jacques D. Fleuriot, Lawrence C. Paulson
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia. [Citation Graph (0, 0)][DBLP] CADE, 1998, pp:3-16 [Conf]
- Lucas Dixon, Jacques D. Fleuriot
Higher Order Rippling in IsaPlanner. [Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:83-98 [Conf]
- Jacques D. Fleuriot
On the Mechanization of Real Analysis in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 2000, pp:145-161 [Conf]
- Laura I. Meikle, Jacques D. Fleuriot
Formalizing Hilbert's Grundlagen in Isabelle/Isar. [Citation Graph (0, 0)][DBLP] TPHOLs, 2003, pp:319-334 [Conf]
- Alan Bundy, Lucas Dixon, Jeremy Gow, Jacques D. Fleuriot
Constructing Induction Rules for Deductive Synthesis Proofs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:3-21 [Journal]
- Jacques D. Fleuriot
Theorem Proving in Infinitesimal Geometry. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:3, pp:- [Journal]
- Lucas Dixon, Jacques D. Fleuriot
A proof-centric approach to mathematical assistants. [Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:4, pp:505-532 [Journal]
Combining Isabelle and QEPCAD-B in the Prover's Palette. [Citation Graph (, )][DBLP]
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|