dblp.uni-trier.dewww.uni-trier.de

Jacques D. Fleuriot

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EELaura I. Meikle, Jacques D. Fleuriot: Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus 2008: 315-330
13EELaura I. Meikle, Jacques D. Fleuriot: Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. CAV 2008: 309-313
2006
12EEAlan 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)
11EELucas Dixon, Jacques D. Fleuriot: A proof-centric approach to mathematical assistants. J. Applied Logic 4(4): 505-532 (2006)
2004
10EELaura I. Meikle, Jacques D. Fleuriot: Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry 2004: 1-18
9EELucas Dixon, Jacques D. Fleuriot: Higher Order Rippling in IsaPlanner. TPHOLs 2004: 83-98
2003
8EELucas Dixon, Jacques D. Fleuriot: IsaPlanner: A Prototype Proof Planner in Isabelle. CADE 2003: 279-283
7EELaura I. Meikle, Jacques D. Fleuriot: Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs 2003: 319-334
2002
6EEEwen Maclean, Jacques D. Fleuriot, Alan Smaill: Proof planning Non-standard Analysis. AMAI 2002
2001
5EEJacques D. Fleuriot: Theorem Proving in Infinitesimal Geometry. Logic Journal of the IGPL 9(3): (2001)
2000
4EEJacques 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
2EEJacques D. Fleuriot, Lawrence C. Paulson: Proving Newton's Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle. Automated Deduction in Geometry 1998: 47-66
1EEJacques D. Fleuriot, Lawrence C. Paulson: A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia. CADE 1998: 3-16

Coauthor Index

1Alan Bundy [12]
2Lucas Dixon [8] [9] [11] [12]
3Jeremy Gow [12]
4Ewen Maclean [6]
5Laura I. Meikle [7] [10] [13] [14]
6Lawrence C. Paulson [1] [2]
7Alan Smaill [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)