On using OpenMath for representing dynamic geometry constructions: extended abstract

• Autores: Jesús Escribano, Miguel A. Abánades Astudillo, José Luis Valcarce Gómez, Francisco Botana Ferreiro
• Localización: Automated deduction in geometry: extended abstracts, 2006, ISBN 84-611-2355-7, págs. 26-30
• Idioma: inglés
• Texto completo no disponible (Saber más ...)