Xcas : http://www-fourier.ujf-grenoble.fr/~parisse/giac_fr.html
Xcas est un système de calcul formel libre pour Windows, Mac OSX et Linux/Unix. Il permet de faire du calcul formel, des représentations graphiques dans le plan ou l’espace, de la géométrie dynamique (dans le plan ou dans l’espace), du tableur, des statistiques et de la programmation.
CmathOOoCAS : http://cdeval.free.fr/spip.php?{{article132}
CmathOOoCAS est une extension pour OpenOffice qui permet de travailler sur des objets mathématiques formels