Calcul formel
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 ou d'un paramètre(s) inconnu(s),
- dériver une fonction, déterminer sa primitive, simplifier son expression.
Voir aussi
Lambda calcul, Identité remarquable