Francisco Botana,Tomas Recio

• Automated Deduction in Geometry