Universidad Complutense de Madrid
E-Prints Complutense

First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems



Último año

Abánades, Miguel A. y Escribano Martínez, Jesús y Botana, Francisco (2007) First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems. In Towards Mechanized Mathematical Assistants. Lecture Notes in Computer Science (4573). Springer, pp. 131-145. ISBN 978-3-540-73083-5

[img] PDF
Restringido a Sólo personal autorizado del repositorio


URL Oficial: http://link.springer.com/chapter/10.1007/978-3-540-73086-6_13

URLTipo de URL


A prototype for a web application designed to symbolically process locus, proof and discovery tasks on geometric diagrams created with the commercial dynamic geometry systems Cabri, The Geometer’s Sketchpad and Cinderella is presented. The application, named LAD (acronym for Locus-Assertion-Discovery) and thought of as a remote add-on for the considered DGS, follows the Groebner basis method relying on CoCoA and a Mathematica kernel for the involved symbolic computations. From the DGS internal textual representation of a geometric diagram, an OpenMath (i.e. semantic based) description of the requested task is created using the elements in the plangeo OpenMath content dictionaries. A review of the elements included in these CDs is given and two new elements proposed, namely locus and discovery. Everything is finally thoroughly illustrated with examples. LAD is freely accessible at http://nash.sip.ucm.es/LAD/LAD.html .

Tipo de documento:Sección de libro
Información Adicional:

14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

Palabras clave:Dynamic geometry systems; OpenMath
Materias:Ciencias > Informática
Código ID:24252
Depositado:16 Ene 2014 11:46
Última Modificación:02 Aug 2018 07:29

Descargas en el último año

Sólo personal del repositorio: página de control del artículo