Les CAS (Computer Algebra System) ou systèmes de calcul formel rendent possible la résolution des problèmes algébriques symboliques grâce à la puissance des applications et les systèmes informatiques. Les CAS facilitent la manipulation d'expressions symboliques et numériques et aussi la représentation des mêmes.
Un des systèmes de calcul formel les plus connus dans les cercles universitaires est Maxima, basé sur le mythique CAS développé par le MIT à la fin des années 60, Macsyma. Une des caractéristiques principales c'est qu'il s'agit d'un logiciel gratuit et de code libre, sur lequel une grande communauté d'utilisateurs travaillent pour son optimisation.
Si vous avez besoin d'un système de calcul formel téléchargez Maxima, l'outil indispensable pour mathématiciens, physiciens et étudiants universitaires.