CmathOOoCAS

Sialle: Fiche détaillée d'un logiciel libre éducatif
http://www.sialle.education.fr/fiche-detaillee-cmathooocas-239.php
...
CmathOOoCAS est une extension d'OpenOffice.org Calc, qui a pour but de faciliter le calcul symbolique et de définir de nouvelles fonctions permettant de travailler sur des objets mathématiques formels. Là où le "tableur classique" se limite à une exploration numérique, le "tableur formel" permet d'achever le travail par une réelle validation de la conjecture émise pendant l'activité, en s'affranchissant des valeurs numériques.
...