La plupart des logiciels proposés ci-dessous sont gratuits -freeware- ou libres de droit -GPL- pour l’usage personnel ou collectif. Il est par exemple autorisé de les installer sur les ordinateurs d’un établissement scolaire. D’autres par contre sont propriétaire. Aussi vous verrez des logiciels de calcul formel ainsi que des logiciels de calcul numérique et quelques logiciels de calcul dynamique adaptés pour la géométrie et/ou l’algèbre, à l’instar de Geogebra!

Calculatrice de fonction calcule des limites, des dérivées successives, des intégrales, …
O.S. : Windows, Mac, Linux

Licence : GNU GPL

WIRIS propose une version de demo bien fournie qui permet de faire du calcul formel facilement avec des appels de commande très simplifiés. Ce logiciel peut s’utiliser avec ses élèves dès les classes du collège. A noter que l’outil peut être intégré dans Moodle.
WIRIS est également utilisable en ligne en français
O.S. : Windows, Mac, Linux

Licence : version demo gratuite

WolframAlpha est un moteur de recherche scientifique mais aussi un logiciel de calcul formel en ligne. Il résout des équations, factorise, développe, affiche des représentations graphiques.
O.S. : Windows, Mac, Linux

Licence : Gratuit pour usage personnel

Xcas est un logiciel libre qui permet de faire du calcul formel mais également de la géométrie dynamique (dans le plan ou dans l’espace), du tableur et de la programmation. Très puissant mais difficile à utiliser avec des élèves du collège car peu intuitif.
O.S. : Windows, Mac, Linux

Licence : GPL

Maxima 5.9.1
Système de calcul algébrique complexe
O.S. : Windows, Mac, Linux

Licence : Opens Source

PARI/GP 2.2.10
Système de calcul formel très répandu
O.S. : Windows, Mac, Linux

Licence : GPL

Derive 6
Pour l’enseignement secondaire et supérieur, Derive est un logiciel de calculs formels puissant et facile à utiliser.
O.S. : Windows

Licence : Shareware

Maple
Système puissant de calcul formel
O.S. : Windows, Mac, Linux

Licence : Shareware

Ultimate Math Solver 8.0
Logiciel qui résout un problème étape par étape
O.S. : Windows, Mac, Linux

Licence : Shareware

XY_GRAPH 5.2
Traceur de courbes et graphes mathématiques, calculateur formel et numérique
O.S. : Windows, Mac, Linux

Licence : Shareware