Julien Narboux. Mechanical Theorem Proving in Tarski s 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 139-156, Springer, 2006. [doi]
Abstract is missing.