Laura I. Meikle

	2008
4		Laura I. Meikle, Jacques D. Fleuriot: Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus 2008: 315-330
3		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		Laura I. Meikle, Jacques D. Fleuriot: Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry 2004: 1-18
	2003
1		Laura I. Meikle, Jacques D. Fleuriot: Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs 2003: 319-334

Coauthor Index

1

Jacques D. Fleuriot

[1] [2] [3] [4]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page