Laura I. Meikle

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Grayscale Images

Top Venues

Electron. Notes Theor. Comput. Sci.

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Laura I. Meikle, Jacques D. Fleuriot
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. Electron. Notes Theor. Comput. Sci. 285 (2012)
Laura I. Meikle, Jacques D. Fleuriot
Automation for Geometry in Isabelle/HOL. PAAR@IJCAR (2010)
Laura I. Meikle, Jacques D. Fleuriot
Combining Isabelle and QEPCAD-B in the Prover's Palette. AISC/MKM/Calculemus (2008)
Laura I. Meikle, Jacques D. Fleuriot
Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. CAV (2008)
Laura I. Meikle, Jacques D. Fleuriot
Mechanical Theorem Proving in Computational Geometry. Automated Deduction in Geometry (2004)
Laura I. Meikle, Jacques D. Fleuriot
Formalizing Hilbert's Grundlagen in Isabelle/Isar. TPHOLs (2003)