RT Book, Section
T1 First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems
A1 Abánades, Miguel Á.
A1 Escribano Martínez, Jesús
A1 Botana, Francisco
AB 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 .
PB Springer
SN 978-3-540-73083-5
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53318
UL https://hdl.handle.net/20.500.14352/53318
LA eng
NO 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
DS Docta Complutense
RD 22 abr 2025