Un système de calcul formel (computer algebra system ou CAS en anglais) est un logiciel qui facilite le calcul symbolique. La partie principale de ce système est la manipulation formelle des expressions mathématiques.
Les expressions peuvent être :
-
des polynômes avec de multiples variables ;
-
des fonctions standards (sinus, exponentielle, etc.) ;
-
des fonctions spéciales (Gamma, Zeta, erf, Bessel, etc.) ;
-
des fonctions composées de diverses expressions ;
-
des dérivées, des intégrales, des sommes et des produits d'expressions ;
-
des séries tronquées avec des expressions comme coefficients ;
-
des matrices;
-
etc.