zbMATH — the first resource for mathematics

A software tool for the investigation of plane loci. (English) Zbl 1011.68149
Summary: We describe the capabilities of Lugares for obtaining the equations and graphs of plane loci. Lugares is a Windows program written in Prolog that offers a standard dynamic geometry environment and uses the symbolic capabilities of CoCoA, a computer algebra system specialized in Groebner basis computations, or Mathematica. The main novelty in Lugares consists of the link between the dynamic geometry paradigm and a symbolic approach to automatic discovery in geometry. Through this link Lugares determines as a locus almost any algebraic curve specified by geometric conditions.

68U05 Computer graphics; computational geometry (digital and algorithmic aspects)
Full Text: DOI
[1] F. Botana, A web-based intelligent system for geometric discovery, Technical Report, Department of Applied Mathematics, University of Vigo, 2002. · Zbl 1033.68596
[2] F. Botana, 3D-LD: automatic discovery of 3D loci via the web, Technical Report, Department of Applied Mathematics, University of Vigo, 2002.
[3] F. Botana, J.L. Valcarce, Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery, in: Proceedings of the CASC’2001, Springer, Berlin, 2001, pp. 63-74. · Zbl 1020.68109
[4] Botana, F.; Valcarce, J.L., A dynamic – symbolic interface for geometric theorem discovery, Comput. educ., 38, 1-3, 21-35, (2002)
[5] B. Buchberger, Groebner bases: an algorithmic method in polynomial ideal theory, in: N.K. Bose (Ed.), Multidimensional Systems Theory, Reidel, Dordrecht, 1985, pp. 184-232.
[6] A. Capani, G. Niesi, L. Robbiano, CoCoA: a system for doing computations in commutative algebra. Available via anonymous ftp from: ftp://cocoa.dima.unige.it. · Zbl 0920.68060
[7] S.C. Chou, Proving elementary geometry theorems using Wu’s algorithm, in: W.W. Bledsoe, D.W. Loveland (Eds.), Automated Theorem Proving: After 25 Years, AMS, Providence, 1984, pp. 243-286. · Zbl 0578.68079
[8] X.S. Gao, Automated geometry diagram construction and engineering geometry, in: Proceedings of the ADG’98, Lecture Notes in Artificial Intelligence, vol. 1669, Springer, Berlin, 1998, pp. 232-257.
[9] X.S. Gao, J.Z. Zhang, S.C. Chou, Geometry Expert, Nine Chapters Publisher, Taiwan, 1998.
[10] W. Groebner, Moderne Algebraische Geommetrie: Die Idealtheoretischen Grundlagen, Springer, Berlin, 1949.
[11] de Guzmán, M., An extension of the wallace – simson theorem: projecting in arbitrary directions, Am. math. mon., 106, 6, 574-580, (1999) · Zbl 1004.51021
[12] N. Jackiw, The Geometer’s Sketchpad, Key Curriculum Press, Berkeley, 1997.
[13] Kapur, D., A refutational approach to geometry theorem proving, Artif. intell., 37, 61-94, (1988) · Zbl 0678.68094
[14] Kapur, D.; Mundy, J.L., Wu’s method and its application to perspective viewing, Artif. intell., 37, 15-36, (1988) · Zbl 0664.68102
[15] J. King, D. Schattschneider, Geometry Turned On, Mathematical Association of America, Washington, DC, 1997. · Zbl 0876.68108
[16] U. Kortenkamp, Foundations of dynamic geometry, Ph.D. Thesis, ETH, Zurich, 1999.
[17] B. Kuztler, Algebraic approaches to automated geometry theorem proving, Ph.D. Thesis, University of Linz, 1988.
[18] J.M. Laborde, F. Bellemain, Cabri Geometry, vol. II, Texas Instruments, Dallas, 1998.
[19] Recio, T.; Vélez, M.P., Automatic discovery of theorems in elementary geometry, J. autom. reason., 23, 63-82, (1999) · Zbl 0941.03010
[20] J. Richter-Gebert, U. Kortenkamp, The Interactive Geometry Software Cinderella, Springer, Berlin, 1999. · Zbl 0926.51002
[21] E. Roanes-Macı́as, E. Roanes-Lozano, Automatic determination of geometric loci. 3D-extension of Simson-Steiner theorem, in: Proceedings of the AISC’2000, Lecture Notes in Artificial Intelligence, vol. 1930, Springer, Berlin, 2000, pp. 157-173. · Zbl 1042.68129
[22] I.E. Sutherland, Sketchpad: a man – machine graphical communication system, in: H. Freeman (Ed.), Tutorial and Selected Readings in Interactive Computer Graphics, IEEE Computer Society, University of Utrecht, 1980, pp. 2-19.
[23] J.L. Valcarce, F. Botana, Developing a dynamic geometry environment with Prolog, Technical Report, Department of Applied Mathematics, University of Vigo, 1999.
[24] W.T. Wu, Mechanical Theorem Proving in Geometries, Springer, Vienna, 1994.
[25] Yap, C.K., A new lower bound for commutative thue systems, with applications, J. symb. comput., 12, 1-28, (1991) · Zbl 0731.68060
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.