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 …

Is it possible to make mathematical drawings that help to understand mathematical ideas,
proofs, and arguments? The [Author]; s of this book are convinced that the answer is yes and …

This chapter focuses on the particularities of mathematical work in the digital age. It opens
with historical considerations that relate to the development of mathematical work to do …

En esta investigación presentamos los análisis asociados con el diseño de tareas
desarrolladas por futuros profesores de matemáticas de nivel secundario. Para ello …

Résumé Dans cet article, nous analysons les critères de conception d'un simulateur
informatique de classe en mathématiques. Les simulateurs informatiques sont utilisés dans …

Résumé Cet article développe les éléments d'un cadre théorique utilisé pour l'étude de
l'enseignement de la géométrie élémentaire notamment en formation des enseignants. Les …

El uso de tareas y ejemplos constituye una práctica fundamental en el trabajo del profesor
en el aula para la enseñanza de un contenido. El objetivo de este artículo es caracterizar el …

In this paper we consider the problem of dealing automatically with arbitrary geometric
statements (including, in particular, those that are generally false) aiming to find …

Cet article visea légitimer l'emploi d'un registre graphique dans l'expression écrite du
raisonnement mathématique. En plus de défendre cette légitimité, l'article montre les risques …

The main proposal in this paper is the merging of two techniques that have been recently
developed. On the one hand, we consider a new approach for computing some …