| |
| 2008 | ||
|---|---|---|
| 4 | EE | Laura I. Meikle, Jacques D. Fleuriot: Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus 2008: 315-330 |
| 3 | EE | Laura I. Meikle, Jacques D. Fleuriot: Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. CAV 2008: 309-313 |
| 2004 | ||
| 2 | EE | Laura I. Meikle, Jacques D. Fleuriot: Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry 2004: 1-18 |
| 2003 | ||
| 1 | EE | Laura I. Meikle, Jacques D. Fleuriot: Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs 2003: 319-334 |
| 1 | Jacques D. Fleuriot | [1] [2] [3] [4] |