Impacto
Downloads
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]](/style/images/fileicons/application_pdf.png) |
PDF
Restringido a Repository staff only 297kB |
Official URL: http://link.springer.com/chapter/10.1007/978-3-540-72586-2_32
Abstract
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 .
| 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
