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 …

Este número especial de la Revista Latinoamericana de Investigación en Matemática
Educativa (RELIME) es el resultado de distintos artículos elaborados para el tercer simposio …

This chapter presents a state of the art in the design of digital environments for mathematics
education, with a particular focus on artificial intelligence techniques. A review of the work …

(RELIME) is dedicated entirely to the articles proposed within the framework of the third
Symposium Mathematical Work Space (ETM, in French) which is devoted to the study …

Ce numéro spécial de la Revista Latinoamericana de Investigación en Matemática
Educativa (RELIME) est entièrement issu des propositions d'articles élaborées dans la …

This paper aims, first, to describe the fundamental characteristics and workings of the
AgentGeom artificial tutorial system, which is designed to help students develop knowledge …

The idea of assisting teachers with technological tools is not new. Mathematics in general,
and geometry in particular, provide interesting challenges when developing educative …

Discriminar la función que la visualización desempeña en los textos escolares es un asunto
de interés en la comprensión de los fenómenos que subyacen a la enseñanza y …

Our article aims to show how illuminating mathematical work as a concept from didactics of
mathematics is useful in understanding issues relating to proving and learning of proof, with …

How can AI be brought to support teaching and learning at a time when the uses of digital
technologies remain fairly poor and teacher education is struggling to make an impact? The …