Our article aims to define the notion of instrumental proof based on didactic, epistemological
and cognitive considerations. We raise issues and challenges related to the use of this type …

The purpose of this study was to investigate the trends of GeoGebra related studies. We
focused on the articles published between 2009 and 2021 and existed in Web of Science …

The popular dynamic mathematics program GeoGebra now includes tools for the
mathematically rigorous proof and discovery of general statements on geometric figures …

Teachers are increasingly incorporating new learning materials into their classes: mobile
apps, VR, and other results of humanity's digital development. The aim of the study was to …

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 …

This paper shows an alternative to the traditional teaching approach, focusing on the
application of a STE (A) M-based learning methodology. In particular, we present an …

We introduce an experimental version of GeoGebra that successfully conjectures and
proves a large scale of geometric inequalities by providing an easy-to-use graphical …

Due to its formal, logical and spatial properties, geometry is well suited for the exploration of
new knowledge, new properties that arise from different constructions and new insights into …

Il est essentiel de se pencher sur les interactions entre l'intelligence artificielle (IA) et la
didactique, encore plus à notre époque où l'impact de l'IA sur la société et l'économie est …

Motivation is an aspect heavily emphasized in a mathematics class to produce a quality
human capital. However, students' motivation towards mathematics is still low while …