Les logiciels de calcul formel, parfois appelés logiciels de calcul symbolique, ou C.A.S (computer algébraïc systems) traitent les expressions littérales, et permettent, quand c'est possible, d'effectuer des calculs exacts. Maxima est un logiciel de calcul formel sous licence libre, qui permet de représenter aussi des courbes et des surfaces.
