calcul formel

Le calcul formel est un domaine des mathématiques et de l’informatique. Il s’intéresse aux algorithmes qui opèrent sur des objets de nature mathématique au moyen de représentations finies et exactes.

Ce qu'elle étudie

Le point central du calcul formel est le traitement algorithmique d’objets mathématiques. Ceux-ci ne sont pas seulement considérés comme des résultats à obtenir : ils sont représentés sous une forme finie et exacte, sur laquelle les algorithmes peuvent opérer. La discipline relie donc la nature mathématique des objets, leur représentation et les algorithmes qui les manipulent. Cette précision sur l’exactitude distingue le cadre décrit par le dossier d’un simple traitement d’information non précisé.

À quoi elle sert

Il sert à construire et étudier des algorithmes opérant sur des objets mathématiques représentés de façon finie et exacte.

• Représenter des objets mathématiques sous une forme finie.
• Opérer algorithmiquement sur ces représentations.
• Préserver le caractère exact des objets traités.

Où elle se place

Le calcul formel est une branche de l’algèbre. Le corpus le rattache aussi aux mathématiques et à l’informatique.

flowchart TD
  P0[Algèbre] --> D([calcul formel])
  P0 --> S0[algèbre classique]
  P0 --> S1[algèbre de Boole]
  P0 --> S2[algèbre générale]
  P0 --> S3[algèbre quantique]