Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computational Science and Its Applications

ICCSA 2011: Computational Science and Its Applications - ICCSA 2011 pp 342–352Cite as

On the Parametric Representation of Dynamic Geometry Constructions

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6785))

Abstract

This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues in standard dynamic geometry environments, such as computing envelopes of lines which are not primitive objects known by the geometric system, can be efficiently solved using the correspondence between geometry and algebra. We also propose enriching the tool (or macro) mechanism, available in some environments, with our parametric approach. Finally, some problems arising from the algebraic method considered are also studied.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jackiw, N.: The Geometer’s Sketchpad, vol. 4.0. Key Curriculum Press, Berkeley (2002)

    Google Scholar 

  2. Laborde, J.M., Bellemain, F.: Cabri Geometry II. Texas Instruments, Dallas (1998)

    Google Scholar 

  3. List of interactive geometry software, http://en.wikipedia.org/wiki/List_of_interactive_geometry_software

  4. Buchberger, B.: Groebner Bases: An Algorithmic Method in Polynomial Ideal Theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184–231. Reidel, Dordrecht (1985)

    Chapter  Google Scholar 

  5. Wu, W.T.: Mechanical Theorem Proving in Geometries. Springer, Vienna (1994)

    Book  Google Scholar 

  6. Kapur, D.: A Refutational Approach to Geometry Theorem Proving. Artif. Intell. 37, 61–94 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  7. Kapur, D.: Using Groebner Bases to Reason about Geometry Problems. J. Symb. Comput. 2, 399–408 (1986)

    Article  MATH  Google Scholar 

  8. Chou, S.C.: Mechanical Geometry Theorem Proving. Reidel, Dordrecht (1988)

    MATH  Google Scholar 

  9. Chou, S.C.: Proving Elementary Geometry Theorems Using Wu’s Algorithm. In: Bledsoe, W.W., Loveland, D.W. (eds.) Automated Theorem Proving: After 25 years. Contemporary Mathematics, vol. 29, pp. 243–286. AMS, Providence (1984)

    Chapter  Google Scholar 

  10. Gao, X.S., Zhang, J.Z., Chou, S.C.: Geometry Expert. Nine Chapters, Taiwan (1998)

    Google Scholar 

  11. Wang, D.: GEOTHER: A Geometry Theorem Prover. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol. 1104, Springer, Heidelberg (1996)

    Google Scholar 

  12. Recio, T., Vélez, M.P.: Automatic Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 23, 63–82 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  13. Roanes–Lozano, E., Roanes–Macías, E., Villar, M.: A Bridge between Dynamic Geometry and Computer Algebra. Math. Comput. Model. 37(9–10), 1005–1028 (2003)

    Article  MATH  Google Scholar 

  14. Botana, F., Valcarce, J.L.: A Dynamic–Symbolic Interface for Geometric Theorem Discovery. Comput. Educ. 38(1–3), 21–35 (2002)

    Article  Google Scholar 

  15. Botana, F., Recio, T.: Towards solving the dynamic geometry bottleneck via a symbolic approach. In: Hong, H., Wang, D. (eds.) ADG 2004. LNCS (LNAI), vol. 3763, pp. 92–110. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Capani, A., Niesi, G., Robbiano, L.: CoCoA, a System for Doing Computations in Commutative Algebra, http://cocoa.dima.unige.it

  17. King, J., Schattschneider, D.: Geometry Turned On. MAA, Washington (1997)

    MATH  Google Scholar 

  18. Gao, X.-S.: Automated geometry diagram construction and engineering geometry. In: Wang, D., Yang, L., Gao, X.-S. (eds.) ADG 1998. LNCS (LNAI), vol. 1669, p. 232. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  19. Botana, F.: Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments. In: Sloot, P.M.A., Tan, C.J.K., Dongarra, J.J., Hoekstra, A.G. (eds.) ICCS 2002. LNCS, vol. 2657, pp. 801–810. Springer, Heidelberg (2003)

    Google Scholar 

  20. Richter–Gebert, J., Kortenkamp, U.: The Interactive Geometry Software Cinderella. Springer, Berlin (1999)

    MATH  Google Scholar 

  21. http://download.cabri.com/data/pdfs/manuals/cabri2plus140/Man_uk_PDF3.pdf

  22. Botana, F., Abánades, M.A., Escribano, J.: Computing locus equations for standard dynamic geometry environments. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007. LNCS, vol. 4488, pp. 227–234. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Botana, F., Valcarce, J.L.: A Software Tool for the Investigation of Plane Loci. Math. Comput. Simul. 61(2), 139–152 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  24. JSXGraph, http://jsxgraph.uni-bayreuth.de

  25. GeoGebra, http://www.geogebra.at

  26. GeoGebra Locus Line Equation, http://www.geogebra.org/trac/wiki/LocusLineEquation

  27. Botana, F., Valcarce, J.L.: Automatic Determination of Envelopes and Other Derived Curves within a Graphic Environment. Math. Comput. Simul. 67(1–2), 3–13 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  28. Geometry Expressions, http://www.geometryexpressions.com

  29. Stein, W.A., et al.: Sage Mathematics Software (Version 4.6.0). The Sage Development Team (2010), http://www.sagemath.org

  30. Automatic Discovery Sage Library, http://webs.uvigo.es/fbotana/AutDiscLib.sws.txt

Download references

Author information

Authors and Affiliations

  1. Departamento de Matemática Aplicada I, Universidad de Vigo, Campus A Xunqueira, 36005, Pontevedra, Spain

    Francisco Botana

Authors
  1. Francisco Botana
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Basilicata University Potenza, L.I.S.U.T. - D.A.P.I.T., 10, Viale dell’Ateneo Lucano, 85100, Potenza, Italy

    Beniamino Murgante

  2. Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli, 1, 06123, Perugia, Italy

    Osvaldo Gervasi

  3. Department of Applied Mathematics and Computational Sciences, University of Cantabria, Avda. de los Castros, s/n, Santander, C.P. 39005, Spain

    Andrés Iglesias

  4. School of Business Systems, Monash University, VIC 3800, Clayton, Australia

    David Taniar

  5. Department of Intelligent Informatics, Kyushu Sangyo University, 2-3-1 Matsukadai, Higashi-ku, 813-8503, Fukuoka, Japan

    Bernady O. Apduhan

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Botana, F. (2011). On the Parametric Representation of Dynamic Geometry Constructions. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds) Computational Science and Its Applications - ICCSA 2011. ICCSA 2011. Lecture Notes in Computer Science, vol 6785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21898-9_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21898-9_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21897-2

  • Online ISBN: 978-3-642-21898-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation