Pour favoriser l’intégration des logiciels de calcul formel en classe, deux environnements d’apprentissages ont été développés autour du noyau symbolique d’un logiciel de calcul de formel standard (Mupad, distribué par SciFace). Tous les deux sont adaptés à l’étude du domaine des fonctions numériques : l’un, Casyopée, concerne l’étude des propriétés de signes et de variations de fonctions réelles, l’autre l’étude des limites.
Ces environnements de calcul formel sont tous les deux conçus pour gérer des objets mathématiques, leurs propriétés et leurs différentes représentations situent l’élève dans une démarche associant explorations numérique, graphique et algébrique à l’examen de la preuve.