"Automation for Geometry in Isabelle/HOL."

Laura I. Meikle, Jacques D. Fleuriot (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics