TY  - CHAP
AU  - Abánades, Miguel Á.
AU  - Escribano Martínez, Jesús
AU  - Botana, Francisco
PY  - 2007
DO  - 10.1007/978-3-540-73086-6_13
SN  - 978-3-540-73083-5
UR  - https://hdl.handle.net/20.500.14352/53318
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...
LA  - eng
M2  - 131
PB  - Springer
KW  - Dynamic geometry systems
KW  - OpenMath
TI  - First steps on using OpenMath to add proving capabilities to standard dynamic geometry systems
TY  - book part
ER  -