Invited Talk - Philippe R. Richard

The Utility of the Automatic Reasoning Tools for Performing Mathematical Work

While it is clear that Automatic Reasoning Tools (ART) are useful at school, much less is known about how they can be used to help a learner do his / her work as a mathematician. The notion of mathematical work, which is based on a relatively new idea in the world of education, makes it possible to formulate in a scientific way the activity of the mathematician on certain issues, including in terms of discovery, reasoning and communication. We will discuss the utility of the ART through the lighting of the mathematical working space model, developed by Alain Kuzniak and his collaborators. In particular, we will present results of research carried out with high school students, and university students in initial training for the teaching of mathematics.