Environnement graphique distribue pour le calcul formel

Ce memoire traite du developpement d'environnements graphiques distribues pour le calcul formel. Constatant dans ce domaine un deficit en terme de communications homme-machine et inter-systemes, nous presentons dans un premier temps les limites des logiciels existants. Parmi les problemes rarement pris en compte, l'extensibilite de l'interface et l'acces concurrent a differents systemes nous paraissent essentiels. Plutot que la realisation ex nihilo d'une interface utilisateur pour un systeme de calcul formel donne, notre these defend le principe d'une architecture modulaire et generique permettant le developpement a moindre cout d'environnements interactifs adaptes a des besoins specifiques. A travers cas/pi, le prototype realise dans le cadre de cette these, nous montrons comment l'utilisation d'outils logiciels tels que centaur nous a permis d'obtenir, dans des delais raisonnables, un tel environnement donnant simultanement acces a differents systemes de calcul algebrique formel (maple, sisyphe, ulysse), d'outils de visualisation de courbes et de surfaces (gnuplot, zic), le tout pilote a travers une interface homme-machine coherente et extensible