%0 Journal Article %1 keyhere %A Abánades, Miguel %A Escribano, Jesús %A Botana, Francisco %D 2007 %J Towards Mechanized Mathematical Assistants %K CAS dynamic geometry openmath pt %P 131--145 %T First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems %U http://dx.doi.org/10.1007/978-3-540-73086-6_13 %X 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 symboliccomputations. From the DGS internal textual representation of a geometric diagram, an OpenMath (i.e. semantic based) descriptionof 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 athttp://nash.sip.ucm.es/LAD/LAD.html

@article{keyhere, abstract = {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 symboliccomputations. From the DGS internal textual representation of a geometric diagram, an OpenMath (i.e. semantic based) descriptionof 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 athttp://nash.sip.ucm.es/LAD/LAD.html}, added-at = {2008-05-22T16:35:05.000+0200}, author = {Abánades, Miguel and Escribano, Jesús and Botana, Francisco}, biburl = {https://www.bibsonomy.org/bibtex/2e9f65b8dab5685618a9433bcaa29f333/toni}, description = {SpringerLink - Book Chapter}, interhash = {13a601a159b4c1f7b2b95f12f5156879}, intrahash = {e9f65b8dab5685618a9433bcaa29f333}, journal = {Towards Mechanized Mathematical Assistants}, keywords = {CAS dynamic geometry openmath pt}, pages = {131--145}, timestamp = {2008-06-05T14:36:12.000+0200}, title = {First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems}, url = {http://dx.doi.org/10.1007/978-3-540-73086-6_13}, year = 2007 }