The SCEAS System
| |||||||

## 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.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |