Computing Locus Equations for Standard Dynamic Geometry Environments

Authors:
Francisco Botana;Miguel A. Abánades;Jesús Escribano
Affiliations:
Departamento de Matemática Aplicada I, Universidad de Vigo, Campus A, Xunqueira, 36005 Pontevedra, Spain;Ingeniería Técnica en Informática de Sistemas, CES Felipe II (UCM), 28300, Aranjuez, Spain;Departamento de Sistemas Informáticos y Computación, Universidad Complutense de, Madrid, 28040 Madrid, Spain
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Year:
2007

Citing 8
Cited 3

A dynamic-symbolic interface for geometric theorem discovery

Computers & Education
A software tool for the investigation of plane loci

Mathematics and Computers in Simulation
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments

ICCS '02 Proceedings of the International Conference on Computational Science-Part II
GEOTHER: A Geometry Theorem Prover

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
The Interactive Geometry Software Cinderella.2

The Interactive Geometry Software Cinderella.2
A web-based intelligent system for geometric discovery

ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Towards solving the dynamic geometry bottleneck via a symbolic approach

ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
A bridge between dynamic geometry and computer algebra

Mathematical and Computer Modelling: An International Journal

On the parametric representation of dynamic geometry constructions

ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Using free open source software for intelligent geometric computing

ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Automatic calculation of plane loci using gröbner bases and integration into a dynamic geometry system

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry

Quantified Score

Hi-index	0.00

Visualization

Abstract

GLI (Geometric Locus Identifier), an open web-based tool to determine equations of geometric loci specified using Cabri Geometryand 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.