Mechanical Theorem Proving in Tarski’s Geometry. (2007)

by Julien Narboux
Venue:In Proceedings of Automated Deduction in Geometry 2006, LNCS 4869.