Formalizing Hilbert's Grundlagen in Isabelle/Isar. - Laura I. Meikle; Jacques D. Fleuriot (TPHOLs, 2003)

Mechanical Theorem Proving in Computational Geometry. - Laura I. Meikle; Jacques D. Fleuriot (Automated Deduction in Geometry, 2004)

Combining Isabelle and QEPCAD-B in the Prover's Palette. - Laura I. Meikle; Jacques D. Fleuriot (AISC/MKM/Calculemus, 2008)

Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B. - Laura I. Meikle; Jacques D. Fleuriot (CAV, 2008)

Automation for Geometry in Isabelle/HOL. - Laura I. Meikle; Jacques D. Fleuriot (PAAR@IJCAR, 2010)

Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. - Laura I. Meikle; Jacques D. Fleuriot (UITP, 2010)

Intuition in formal proof : a novel framework for combining mathematical tools. - Laura I. Meikle (2014)