calcul formel
discipline 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
Aussi : calcul symbolique
En mathématiques et en informatique, le calcul formel, aussi appelé calcul symbolique ou calcul algébrique, est un domaine scientifique qui concerne l'étude et le développement des algorithmes et des logiciels pour manipuler des expressions et des objets mathématiques. — Wikipédia (CC BY-SA)
Nature : branche de l'informatique, branche des mathématiques
Catégories : disciplines académiques · sciences · concepts abstraits