Calcul formel et apprentissage des mathématiques

Des systèmes de calcul symbolique sont disponibles sur des micro-ordinateurs et sur des calculatrices accessibles aux élèves. Leur intégration dans l'enseignement des mathématiques suppose une réflexion sur leurs fonctionnalités et sur leur adéquation à l'apprentissage de cette discipline. Sont abordées les potentialités de ce type de logiciels, et la conception de logiciels d'environnement.