Laura I. Meikle

According to our database, Laura I. Meikle authored at least 7 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Intuition in formal proof : a novel framework for combining mathematical tools.

Laura I. Meikle

PhD thesis, 2014

2010

Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette.

Laura I. Meikle, Jacques D. Fleuriot

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Automation for Geometry in Isabelle/HOL.

Laura I. Meikle, Jacques D. Fleuriot

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2008

Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B.

Laura I. Meikle, Jacques D. Fleuriot

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

Combining Isabelle and QEPCAD-B in the Prover's Palette.

Laura I. Meikle, Jacques D. Fleuriot

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2004

Mechanical Theorem Proving in Computational Geometry.

Laura I. Meikle, Jacques D. Fleuriot

Proceedings of the Automated Deduction in Geometry, 5th International Workshop, 2004

2003

Formalizing Hilbert's Grundlagen in Isabelle/Isar.

Laura I. Meikle, Jacques D. Fleuriot

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003