Computing locus equations for standard dynamic geometry environments



Downloads per month over past year

Botana, Francisco and Abánades, Miguel A. and 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

[thumbnail of Escribano01.pdf] PDF
Restringido a Repository staff only


Official URL:


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 .

Item Type:Book Section
Additional Information:

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

Uncontrolled Keywords:Interactive geometry; automated deduction; Locus; OpenMath
Subjects:Sciences > Computer science
ID Code:24251
Deposited On:16 Jan 2014 11:30
Last Modified:03 Aug 2018 11:01

Origin of downloads

Repository Staff Only: item control page