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
Macaulay2
Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been funded by the National Science Foundation since 1992. Il est possible de l’utiliser directement dans un navigateur web.
O.S. : Windows, Mac, Linux
Licence : Freeware
Singular
Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory. It is free and open-source under the GNU General Public Licence.
O.S. : Windows, Mac, Linux
Licence : GNU
R
R is a free software environment for statistical computing and graphics. BoolNet is an R package for generation, reconstruction and analysis of Boolean networks.
O.S. : UNIX platforms, Windows and MacOS
Licence : Freeware
.