Laura I. Meikle, Jacques D. Fleuriot. Mechanical Theorem Proving in Computational Geometry. In Hoon Hong, Dongming Wang, editors, Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Volume 3763 of Lecture Notes in Computer Science, pages 1-18, Springer, 2004. [doi]
Abstract is missing.