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

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