Abstract
This paper reviews current approaches to plane loci generation within dynamic geometry environments. Such approaches are classified as interactive, when just a plot of the locus is shown, and symbolic, if, in addition to plotting the locus, its equation is also given. It is shown how symbolic approaches outperform the interactive ones when dealing with loci which are algebraic curves. Additionally, two experimental improvements are reported: i) an efficient computer algebra system allows symbolically generated loci to behave as dynamic objects, and ii) a general purpose computer algebra system is used to remove spurious parts of some loci.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Botana, F., Valcarce, J. L.: A dynamic-symbolic interface for geometric theorem discovery. Computers and Education, to appear (2002)
Botana, F., Valcarce, J. L.: Cooperation between a dynamic geometry environment and a computer algebra system for geometric discovery. In V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov, Computer Algebra and Scientific Computing CASC 2001, Springer, Berlin, 63–74 (2001)
Botana, F., Valcarce, J. L.: A software tool for investigation of plane loci. Technical Report, University of Vigo, Pontevedra (2001)
Buchberger, B.: Groebner Bases: an Algorithmic Method in Polynomial Ideal Theory. In N.K. Bose, Multidimensional systems theory, Reidel, Dordrecht, 184–232 (1985)
Capani, A., Niesi, G.L. Robbiano: CoCoA, a system for doing Computations in Commutative Algebra. Available via anonymous ftp from: http://cocoa.dima.unige.it
Chou, S. C: Proving Elementary Geometry Theorems Using Wu’s Algorithm. Automated Theorem Proving: After 25 years, Contemporary Mathematics, AMS, 29, 243–286 (1984)
Gao, X. S., Zhang, J. Z., Chou, S. C: Geometry Expert. Nine Chapters Publ. Taiwan (1998)
Guzman, M.: An extension of the Wallace—Simson theorem: projecting in arbitrary directions. American Mathematical Monthly, 106(6), 574–580 (1999)
Jackiw, N.: The Geometer’s Sketchpad. Key Curriculum Press, Berkeley (1997)
Kapur, D.: Geometry theorem proving using Hubert’s Nullstellensatz. In Proc. SYMSAC’86, Waterloo, 202–208, ACM Press (1986)
Kapur, D.: A refutational approach to geometry theorem proving. Artificial Intelligence, 37, 61–94 (1988)
Kapur, D.: Using Groebner bases to reason about geometry problems. Journal of Symbolic Computation, 2, 399–408 (1986)
King, J., Schattschneider, D.: Geometry Turned On. MAA, Washington (1997)
Kortenkamp, U.: Foundations of dynamic geometry. Ph. D. Thesis, ETH, Zurich (1999)
Kutzler, B., Stifter, S.: On the application of Buchberger’s algorithm to automated geometry theorem proving. Journal of Symbolic Computation, 2, 389–397 (1986)
Laborde, J. M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)
Recio, T., Vélez, M. P.: Automatic discovery of theorems in elementary geometry. Journal of Automated Reasoning, 23, 63–82 (1999)
Richter-Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Berlin (1999)
Roanes-Macías, E., Roanes-Lozano, E.: Búsqueda automática de lugares geométricos. Proceedings Spanish Educ. Session IMACS—ACA’ 99, Boletín Sociedad Puig Adam de Prof. de Matemáticas, 53, 67–77 (1999)
Roanes-Macías, E., Roanes-Lozano, E.: Automatic determination of geometric loci. 3D—extension of Simson—Steiner theorem. Proceedings of Artificial Intelligence and Symbolic Computation 2000, Lecture Notes in Artificial Intelligence, 1930, 157–173 (2000)
Valcarce, J. L., Botana, F.: Lugares. Manual de Referencia. Technical Report, University of Vigo, Pontevedra (2001) http://rosalia.uvigo.es/sdge/lugares
Wolfram, S.: The Mathematica book. Cambridge University Press, Cambridge (1996)
Wu, W. T.: Mechanical Theorem Proving in Geometries. Springer, Vienna (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Botana, F. (2002). Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. In: Sloot, P.M.A., Hoekstra, A.G., Tan, C.J.K., Dongarra, J.J. (eds) Computational Science — ICCS 2002. ICCS 2002. Lecture Notes in Computer Science, vol 2330. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46080-2_22
Download citation
DOI: https://doi.org/10.1007/3-540-46080-2_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43593-8
Online ISBN: 978-3-540-46080-0
eBook Packages: Springer Book Archive