Le
calcul formel, ou parfois
calcul symbolique, est le domaine des
mathématiques et de l’
informatique qui s’intéresse aux
algorithmes opérant sur des objets de nature
mathématique par le biais de représentations finies et exactes. Ainsi, un
nombre entier est représenté de manière finie et exacte par la suite des chiffres de son écriture en
base 2. Étant données les représentations de deux nombres entiers, le calcul formel se pose par exemple la question de calculer celle de leur produit.