Abstract
The popular dynamic mathematics program GeoGebra now includes tools for the mathematically rigorous proof and discovery of general statements on geometric figures. This chapter will, first, present the current state of development of these automated reasoning tools. Then the authors will reflect on the potential educational impact of these new features. The introduction of a new design for school tasks could serve to guide students toward inquiry, conjecture, and the discovery of geometric properties of a given figure. Other possible (future) educational applications of these tools will be discussed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
“Augmented intelligence is a design pattern for a human-centered partnership model of people and artificial intelligence (AI) working together to enhance cognitive performance, including learning, decision-making, and new experiences, cf. https://www.gartner.com/en/information-technology/glossary/augmented-intelligence”.
References
Botana, F., Hohenwarter, M., Janičić, P., Kovács, Z., Petrović, I., Recio, T., & Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: Current achievements. Journal of Automated Reasoning, 5(1), 39–59.
Botana, F., Kovács, Z., Martínez-Sevilla, A., Recio, T. (2019). Automatically Augmented Reality with GeoGebra. In: Prodromou, T. (Ed.), Augmented reality in educational settings, 347–368, Brill/Sense, Leiden, The Netherlands. https://doi.org/10.1163/9789004408845.
Chou, S. C. (1998). Mechanical geometry theorem proving. Dordrecht, Netherlands: D. Reidel Publishing Company.
Gamboa, J. M. (2019). Problemas resueltos de oposiciones. Tomo 9, et al. (2017). Y 2018) (2nd ed.). Madrid, Spain: Editorial Deimos.
Hohenwarter, M., Kovács, Z., & Recio, T. (2019). Using GeoGebra automated reasoning tools to explore geometric statements and conjectures. In G. Hanna, M. de Villiers, & D. Reid (Eds.), Proof technology in mathematics research and teaching, series: Mathematics education in the digital era (Vol. 14, pp. 215–236). Cham: Springer.
Howson, G., & Wilson, B. (1986). ICMI Study series: School mathematics in the 1990’s. Kuwait: Cambridge University Press.
Kovács, Z. (2015a) Computer based conjectures and proofs. Ph.D. Dissertation. Johannes Kepler University, Linz.
Kovács, Z. (2015b) The Relation Tool in GeoGebra 5. In: Botana, F., Quaresma, P. (Eds.), Proceedings of the 10th international workshop on automated deduction in geometry (ADG 2014), July 9–11 2014. Lecture notes in artificial intelligence 9201, pp 53–71. Springer.
Kovács, Z., & Parisse, B. (2015). Giac and GeoGebra: Improved Gröbner Basis Computations. Lecture Notes in Computer ScienceIn J. Gutierrez, J. Schicho, & M. Weimann (Eds.), Computer algebra and polynomials (Vol. 8942, pp. 126–138). Cham: Springer.
Kovács, Z., Recio, T., Richard, P. R., Van Vaerenberg, S., Vélez, M. P. (2020) Towards an ecosystem for computer-supported geometric reasoning. International Journal of Mathematical Education in Science and Technology. https://www.tandfonline.com, https://doi.org/10.1080/0020739X.2020.1837400.
Kovács, Z., Recio, T., & Vélez, M. P. (2018). Using automated reasoning tools in GeoGebra in the teaching and learning of proving in geometry. The International Journal for Technology in Mathematics Education, 25(2), 33–50.
Kovács, Z., Recio, T., & Vélez, M. P. (2019). Detecting truth, just on parts. Revista Matemática Complutense, 32(2), 451–474.
Olsson, J. (2019). Relations between task design and student’ utilization of GeoGebra. Digital Experiences in Mathematics Education, 5, 223–251.
Recio, T., Richard, P. R., & Vélez, M. P. (2019). Designing tasks supported by GeoGebra automated reasoning tools for the development of mathematical skills. The International Journal for Technology in Mathematics Education, 26(2), 81–89.
Recio, T., & Vélez, M. P. (1999). Automatic discovery of theorems in elementary geometry. Journal of Automated reasoning, 23(1), 63–82.
Semenov, A., Kondatriev, V. (2020). Learners as Extended Minds in the Digital Age. In: M. Noskov, A. Semenov, S. Grigoriev (Eds), Proceedings of the 4th international conference on informatization of education and E-learning methodology: Digital technologies in education (IEELM-DTE 2020), Krasnoyarsk, Russia, October 6–9 2020. http://ceur-ws.org/Vol-2770/paper5.pdf. Cited 13 Jan. 2021.
Sinclair, N., Bartolini Bussi, M. G., de Villiers, M., Jones, K., Kortenkamp, U., Leung, A., & Owens, K. (2016). Recent research on geometry education: An ICME-13 survey team report. ZDM Mathematics Education, 48, 691–719.
Ulm, V. (2011). Teaching mathematics: Opening up individual paths to learning. In: Towards new teaching in mathematics, 3, SINUS International.http://sinus.uni-bayreuth.de/math/tnt_math_03.pdf. Cited 23 Sept. 2020.
Wilson, J. (1997). Island treasure, mathematics education, EMAT 4600/6600, The University of Georgia. http://jwilson.coe.uga.edu/EMT725/Treasure/Treasure.html. Cited 22 Oct. 2020.
Wolfram, C. (2020). The Math(s) fix: An educational blueprint for the AI age. Manitoba, Canada: Wolfram Media Inc.
Wu, W. (1995). Geometry problem-solving and its contemporary significance. In: Electronic proceedings of the first Asian technology conference in mathematics (ATCM). Innovative use of technology for teaching and research in mathematics. 18–21 Dec. 1995. The Association of Mathematics Educators, 67–73. Singapore. http://atcm.mathandtech.org/EP1995/ATCM1995.pdf. Cited 3 Nov. 2020.
Acknowledgements
The authors are partially supported by FEDER/Ministerio de Ciencia, Innovación y Universidades–Agencia Estatal de Investigación/MTM2017-88796-P.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kovács, Z., Recio, T., Vélez, M.P. (2022). Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?. In: Richard, P.R., Vélez, M.P., Van Vaerenbergh, S. (eds) Mathematics Education in the Age of Artificial Intelligence. Mathematics Education in the Digital Era, vol 17. Springer, Cham. https://doi.org/10.1007/978-3-030-86909-0_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-86909-0_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-86908-3
Online ISBN: 978-3-030-86909-0
eBook Packages: EducationEducation (R0)