Le calcul formel est un procédé de transformation d'expressions mathématiques.
Les objets de ce calcul ne sont plus les variables de l'expression mathématique mais les opérations elle-mêmes. On y oppose habituellement l'évaluation.
Exemples de calculs formels :
- résoudre un problème en fonction de un ou plusieurs paramètre(s) inconnu(s),
- dériver une fonction, déterminer sa primitive, simplifier son expression.