Eugenio Roanes-Macías, Eugenio Roanes-Lozano. A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. In Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, pages 171-188, Springer, 2006. [doi]
Abstract is missing.