Calcul formel

Un article de Wikipédia, l'encyclopédie libre.

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.

[modifier] Voir aussi

• Lambda calcul
• Logiciel de calcul formel
• Identité remarquable
• Mate est un petit logiciel simple de calcul symbolique accessible en ligne