La recherche des auteurs s’inscrit dans le cadre de la recherche INRP « L’interaction dans des environnements actifs d’apprentissage avec ordinateur (EIAO) intégrant des instruments de calcul forme] ». Il s’agit dans ce projet d’étudier l’interaction des élèves avec le calcul formel et de rechercher les conditions d’une meilleure interaction.
Cette recherche comprend l’examen des apports et difficultés de l’utilisation du calcul formel par les élèves pour cette tâche, l’élaboration d’hypothèses sur des fonctionnalités logicielles utilisant le calcul formel qui pourraient permettre d’insérer cette tâche dans des situations d’apprentissage, la spécification et le développement d’environnements logiciels. Trois fonctionnalités ont été retenues : la possibilité pour le professeur d’effectuer une analyse a priori des gestes intervenant dans la résolution d’un problème, l’introduction de gestes de preuve et d’un guidage de l’élève.
Dans cet article, nous présentons la maquette d’environnement qui nous a permis de tester ces hypothèses auprès d’élèves dans le domaine de l’étude des propriétés d’une fonction réelle