Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System

We describe the integration of a well known algorithm for computing and displaying plane loci based on ideal elimination using Grobner bases in the dynamic geometry software JSXGraph. With our approach it is not only possible to determine loci depending on other loci but it is also possible to extend JSXGraph to deal with loci depending on arbitrary plane algebraic curves. For Grobner bases calculations we use CoCoa, a computer algebra system with its focus on computations in commutative algebra.

[1]  David A. Cox,et al.  Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics) , 2007 .

[2]  Francisco Botana,et al.  A software tool for the investigation of plane loci , 2003, Math. Comput. Simul..

[3]  John D. Hunter,et al.  Matplotlib: A 2D Graphics Environment , 2007, Computing in Science & Engineering.

[4]  Heinz Kredel,et al.  Gröbner Bases: A Computational Approach to Commutative Algebra , 1993 .

[5]  Francisco Botana.  A Web-Based Intelligent System for Geometric Discovery , 2003, International Conference on Computational Science.

[6]  Jack Dongarra,et al.  Computational Science — ICCS 2003 , 2003, Lecture Notes in Computer Science.

[7]  Ulrich Kortenkamp.  Foundations of dynamic geometry , 2000 .

[8]  Tomás Recio,et al.  Automatic Discovery of Theorems in Elementary Geometry , 2004, Journal of Automated Reasoning.

[9]  Dongming Wang,et al.  Automated Deduction in Geometry , 1996, Lecture Notes in Computer Science.

[10]  Francisco Botana,et al.  Computing Locus Equations for Standard Dynamic Geometry Environments , 2007, International Conference on Computational Science.

[11]  Joachim von zur Gathen,et al.  Modern Computer Algebra , 1998 .

[12]  Alfred Wassermann,et al.  JSXGraph — Dynamic Mathematics running on (nearly) every device , 2011 .

[13]  Mark Pilgrim,et al.  Dive Into Python , 2004, Apress.

[14]  Jürgen Richter-Gebert,et al.  Recognition of Computationally Constructed Loci , 2006, Automated Deduction in Geometry.

[15]  B. Buchberger,et al.  Gröbner bases and applications , 1998 .

[16]  B. Buchberger.  Gröbner Bases and Applications: Introduction to Gröbner Bases , 1998 .

[17]  Jack Dongarra,et al.  Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III , 2007, ICCS.

[18]  Ralf Fröberg,et al.  An introduction to Gröbner bases , 1997, Pure and applied mathematics.