I. Introduction

Envoyé par
Wikipedia
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é les représentations de deux nombres entiers, le calcul formel se pose par exemple la question
...