Towards an ecosystem for computer-supported geometric reasoning

• Zoltán Kovács ^[4] ; Tomás Recio ^[1] ; Philippe R. Richard ^[2] ; Steven Van Vaerenbergh ^[1] ; M. Pilar Vélez ^[3]
  1. [1] Universidad de Cantabria

     Universidad de Cantabria

     Santander, España

     
  2. [2] University of Montreal

     University of Montreal

     Canadá

     
  3. [3] Universidad Nebrija

     Universidad Nebrija

     Madrid, España

     
  4. [4] Johannes Kepler University

  Mostrar afiliaciones +
• Localización: International journal of mathematical education in science and technology, ISSN 0020-739X, Vol. 53, Nº. 7, 2022, págs. 1701-1710
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • In this study, we explore automated reasoning tools (ART) in geometry education and we argue that these tools are part of a wider, nascent ecosystem for computer-supported geometric reasoning. To provide some context, we set out to summarize the capabilities of ART in GeoGebra (GGb), and we discuss the first research proposals of its use in the classroom. While the design and development of ART have been embraced already by several teams of mathematics researchers and developers, the educational community, which is an essential actor in this ecosystem, has not provided sufficient feedback yet on this new technology. We therefore propose a concrete path for incorporating ART in the classroom. We outline a set of necessary procedures towards this goal, and we include a discussion on the benefits and concerns arising from the use of these automated tools in the mathematical learning process.