Skip to main content
Log in

Symbolic Geometry Software and Proofs

  • Computer Math Snaphshots - Column Editor: Uri Wilensky*
  • Published:
International Journal of Computers for Mathematical Learning Aims and scope Submit manuscript

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

References

  • Baki, A. (2005). Archimedes with Cabri: Visualization and experimental verification of mathematical ideas. International Journal of Computers for Mathematical Learning, 10, 259–270.

    Article  Google Scholar 

  • Cabrilog. (2007). Cabri II Plus 1.4.2 (computer software). Available at http://www.cabri.com/download-cabri-2-plus.html. Grenoble, France.

  • De Villiers, M. D. (1999). Rethinking proof with the geometer’s sketchpad. Berkeley, California: Key Curriculum Press.

    Google Scholar 

  • De Villiers, M. D. (2006). The nine-point conic: A rediscovery and proof by computer. International Journal of Mathematical Education in Science and Technology, 37(1), 7–14.

    Article  Google Scholar 

  • Key Curriculum Press. (2007). The geometer’s sketchpad® dynamic geometry® software for exploring mathematics, version 4. (computer software). Available at http://keypress.com/x5521.xml. Emeryville, CA.

  • King, J., & Schattschneider, D. (Eds.). (1997). Geometry turned on! Dynamic software in learning, teaching, and research. Washington: Mathematical Association of America.

    Google Scholar 

  • Kunkel, P., Shanan, S., & Steketee, S. (2007). Exploring algebra 2 with the geometer’s sketchpad. Emeryville, CA: Key Curriculum Press.

    Google Scholar 

  • National Council of Teachers of Mathematics. (2000). Principles and standards for school mathematics. Reston, VA: Author.

    Google Scholar 

  • Ray, W. (2006). Triangle circle limits. Journal of Symbolic Geometry, 1, 24–39. Available at www.geometryexpressions.com/journal.

    Google Scholar 

  • Scher, D. (1999). Problem solving and proof in the age of dynamic geometry. Micromath, 15(1), 24–30.

    Google Scholar 

  • Scher, D., Steketee, S., Kunkel, P., & Lyublinskaya, I. (2004). Exploring precalculus with the geometer’s sketchpad. Emeryville, CA: Key Curriculum Press.

    Google Scholar 

  • Todd, P. (2007). Geometry expressions: A constraint based interactive symbolic geometry system. Lecture Notes in Computer Science, 4869, 189–202.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Philip Todd.

Additional information

* This column will publish short (from just a few paragraphs to ten or so pages), lively and intriguing computer-related mathematics vignettes. These vignettes or snapshots should illustrate ways in which computer environments have transformed the practice of mathematics or mathematics pedagogy. They could also include puzzles or brain-teasers involving the use of computers or computational theory. Snapshots are subject to peer review. From the Column Editor Uri Wilensky, Northwestern University. e-mail: uri@northwestern.edu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Todd, P., Lyublinskaya, I. & Ryzhik, V. Symbolic Geometry Software and Proofs. Int J Comput Math Learning 15, 151–159 (2010). https://doi.org/10.1007/s10758-010-9164-8

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10758-010-9164-8

Keywords

Navigation