4

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

5

SageMath est un logiciel libre de calcul mathématique.

2

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