Xcas est un logiciel de calcul formel efficace et gratuit. Il possède par ailleurs des fonctions de création de graphiques ainsi que la possibilité de développer des algorithmes dans un langage de programmation (en français) qui gère aussi les calculs formels.
Pour en savoir plus, visitez cette page de présentation ou lisez ce document pour démarrer en xcas.
Allez sur cette page pour installer xcas sur votre ordinateur. Vous pouvez également tester xcas en ligne (dans une version un peu allégée).
Enfin, le site officiel propose des comparaisons (objectives ?) avec d'autres logiciels.
Vous trouverez de nombreux exemples d'utilisations sur le site de Denis Le Fur.
Remarque : pour faire des calculs en valeurs approchées, utilisez des nombres en écriture décimale (remplacez par exemple 1/2 par 0.5).
wxMaxima a un fonctionnement analogue à Mathematica, mais est libre. L'interface est moins austère que celle de Xcas.
En dehors du calcul formel, il permet la création de courbes, de surfaces et d'algorithmes. Il s'interface bien avec texmacs et emacs.
Le site de Michel Gosse est assez exhaustif (et en français).
CmathOOoCAS permet l'inclusion du calcul formel dans openoffice.
Un article de sesamath sur ce thème.
Geogebra intègre maintenant des fonctions de calcul formel.
Par le créateur de mathematica, ce site permet de formuler ses questions en langage courant mais en anglais. Une page fonctionnant en français ici.
Mathematical assistant on web : propose de calculer des dérivées en détaillant les étapes du calcul (en français).