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 :