Calcul formel et apprentissage des mathématiques

Depuis plusieurs années, 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. Dans cet ouvrage sont abordés : les potentialités et limites des logiciels de traitement symbolique sur ordinateur ou calculatrice ; la conception d'environnements logiciels utilisant le calcul symbolique.