Jacques D. Fleuriot. Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL. In Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert, editors, Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers. Volume 6877 of Lecture Notes in Computer Science, pages 34-50, Springer, 2010. [doi]
Abstract is missing.