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 …

This chapter provides an overview of the different Artificial Intelligence (AI) systems that are
being used in contemporary digital tools for Mathematics Education (ME). It is aimed at …

This chapter introduces the concept of intelligent learning management systems (ILMS),
which combines traditional learning management systems (LMS) with predictive modeling …

When considering the mathematics competences referential (Niss & Højgaard,), whether
from Québec Education Program, the Standards of the National Council of Teachers of …

Given its formal, logical and spatial properties, geometry allows an integrated framework
where model theory and proof theory approaches can be explored. The development of …

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 …

Abstract The Geometry Automated-Theorem-Provers (GATP) based on the deductive
database method use a data-based search strategy to improve the efficiency of forward …

The introduction of automated deduction systems in secondary schools face several
bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the …

Cet article présente la définition d'un cadre théorique et méthodologique pour la conception
didactique d'un environnement informatique pour l'apprentissage humain (EIAH): une …

The purpose of this study is to examine the capabilities of ChatGPT as a tool for supporting
students in generating mathematical arguments that can be considered proofs. To examine …