The theoretical and methodological model of Mathematical Working Space (MWS) is
introduced in this paper. For over 10 years, the model has been the object of collaborative …

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 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 …

This document introduces, describes and exemplifies the technical features of some recently
implemented automated reasoning tools in the dynamic mathematics software GeoGebra …

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 …

In the context of teaching and learning processes and for a given institution, the personal
mathematical work undertaken by students is quite different from the reference mathematical …

This paper reflects on the design of tasks that could take profit from the new features for
Automated Reasoning, recently available in the dynamic geometry program GeoGebra. We …

The central focus of this chapter is the relationship between the notions introduced by
Vérillon and Rabardel,“artifact” and “instrumental genesis,” and the homonym notions in the …

Résumé Notre article vise à montrer comment l'apprentissage instrumenté des propriétés en
géométrie euclidienne peut s' introduire en continuité avec les compétences mathématiques …

This article is a commentary on the mathematical working space (MWS) approach and
draws on the articles contained in this ZDM issue. The article is divided into three parts. In …