Universidad Complutense de Madrid
E-Prints Complutense

Computing locus equations for standard dynamic geometry environments

Impacto

Descargas

Último año

Botana, Francisco y Abánades, Miguel A. y Escribano Martínez, Jesús (2007) Computing locus equations for standard dynamic geometry environments. In Computational Science – ICCS 2007. Lecture Notes in Computer Science (4488). Springer, pp. 227-234. ISBN 978-3-540-72585-5

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.

297kB

URL Oficial: http://link.springer.com/chapter/10.1007/978-3-540-72586-2_32




Resumen

GLI (Geometric Locus Identifier), an open web-based tool to determine equations of geometric loci specified using Cabri Geometry and The Geometer’s Sketchpad, is described. A geometric construction of a locus is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, following the Groebner basis method, compute the locus equation and its graph. Moreover, an OpenMath description of the geometric construction is given. GLI can be efficiently used in mathematics education, as a supplement of the locus functions of the standard dynamic geometry systems. The system is located at http://nash.sip.ucm.es/GLI/GLI.html .


Tipo de documento:Sección de libro
Información Adicional:

7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II

Palabras clave:Interactive geometry; automated deduction; Locus; OpenMath
Materias:Ciencias > Informática
Código ID:24251
Depositado:16 Ene 2014 11:30
Última Modificación:07 Feb 2014 11:14

Descargas en el último año

Sólo personal del repositorio: página de control del artículo