Resumen de Demostración automática en geometría: demostración versus comprobación en sistemas de geometría dinámica
Se describe de manera elemental un reciente trabajo sobre demostración automática en geometría así como el contexto en el que éste se ha encuadrado. Dicho trabajo, desarrollado en colaboración con los profesores F. Botana de la Universidad de Vigo y J. Escribano de la Universidad Complutense de Madrid consiste en el desarrollo de GLI, Geometric Locus Identifier, una aplicación Web que calcula la ecuación y proporciona la gráfica de un lugar geométrico especificado usando Cabry Geometry o The Geometer's Sketchpad, los dos sistemas de geometría dinámica más populares. GLI se encuentra disponible en http://nash.sip.ucm.es/GLI/GLI.html
