Demostración automática en geometría: demostración versus comprobación en sistemas de geometría dinámica

• Autores: Miguel A. Abánades Astudillo
• Localización: Anales de ingeniería técnica en informática de sistemas, Nº. 1, 2007, págs. 93-106
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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