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 demostracion automatica en geometria asi como el contexto en el que este se ha encuadrado. Dicho trabajo, desarrollado en colaboracion 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 aplicacion Web que calcula la ecuacion y proporciona la grafica de un lugar geometrico especificado usando Cabry Geometry o The Geometer's Sketchpad, los dos sistemas de geometria dinamica mas populares. GLI se encuentra disponible en http://nash.sip.ucm.es/GLI/GLI.html