Automation for Geometry in Isabelle/HOL.

Laura I. Meikle, Jacques D. Fleuriot

Browse the full CADE paper archive.