First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems.

Miguel A. Abánades Jesús Escribano Francisco Botana First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. 131-145 2007 conf/mkm/2007 Calculemus/MKM http://dx.doi.org/10.1007/978-3-540-73086-6_13 db/conf/mkm/mkm2007.html#AbanadesEB07