Framalibre

Maxima est un logiciel de calcul formel: à vous les polynômes, matrices et autres équations différentielles !

SageMath est un logiciel libre de calcul mathématique.

Giac/Xcas est un système de calcul formel libre pour Windows, Mac OSX et Linux/Unix (licence GPL3)