Automatic Determination of Algebraic Surfaces as Loci of Points

  • Francisco Botana
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2657)


3D-Loci Discovery (3D-LD), a web-based system for automatic discovery of geometric loci in the space, is described. Its basic engine is based on the Groebner basis method. 3D-LD can be used to easily (re)discover many loci-related geometric surfaces, and it has allowed us to generalize a recent extension of Simson-Steiner’s theorems due to Guzmán.

Being accessible through the web, 3D-LD is platform independent, and can be linked with other graphical tools. It uses the symbolic capabilities of Mathematica and CoCoA, by means of the recently distributed application webMathematica, a Java servlet technology allowing the generation of dynamic web content. A simple description of 3D-LD and some examples of use are available at


  1. 1.
    Becker, T., Weispfenning, V.: Groebner Bases. A Computational Approach to Commutative Algebra. Springer, Berlin (1998)Google Scholar
  2. 2.
    Botana, F., Valcarce, J.L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education, 38(1–3), 21–35 (2002)CrossRefGoogle Scholar
  3. 3.
    Botana, F.: Interactive versus symbolic approaches to plane loci generation in dynamic geometry environments. Proc. I Int. Workshop on Computer Graphics and Geometric Modelling CGGM’2002, Lecture Notes in Computer Science, 2330, 211–218 (2002)Google Scholar
  4. 4.
    Botana, F., Valcarce, J.L.: A software tool for the investigation of plane loci. Mathematics and Computers in Simulation, 61(2), 141–154 (2003)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Buchberger, B.: Groebner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N.K. Bose, Multidimensional systems theory, Reidel, Dordrecht, 184–232 (1985)Google Scholar
  6. 6.
    Capani, A., Niesi, G., L. Robbiano: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from:
  7. 7.
    Chou, S. C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)zbMATHGoogle Scholar
  8. 8.
    Gao, X.S.: Automated geometry diagram construction and engineering geometry. Proc. Automated Deduction in Geometry ADG’98, Lecture Notes in Artificial Intelligence, 1669, 232–257 (1998)Google Scholar
  9. 9.
    Guzmán, M.: An extension of the Wallace-Simson theorem: projecting in arbitrary directions. American Mathematical Monthly, 106(6), 574–580 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Recio, T., Vélez, M. P.: Automatic discovery of theorems in elementary geometry. Journal of Automated Reasoning, 23, 63–82 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Roanes-Macías, E., Roanes-Lozano, E.: Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem. Proc. Artificial Intelligence and Symbolic Computing AISC 2000, Lecture Notes in Artificial Intelligence, 1930, 157–173 (2000)Google Scholar
  12. 12.
    Van Labeke, N.: Calques 3D: a microworld for spatial geometry learning. Proc. Intelligent Tutoring Systems ITS’98. System Demonstrations (1998)Google Scholar
  13. 13.
    Wu, W. T.: Mechanical Theorem Proving in Geometries. Springer, Wien (1994)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Francisco Botana
    • 1
  1. 1.Departamento de Matemática AplicadaUniversidad de VigoPontevedraSpain

Personalised recommendations