Démonstration de théorèmes
en construction
Définition
xxxxxxx
Français
xxxxxxx
Anglais
theorem proving
the process of proving a mathematical theorem, or solving a problem stated by means of axioms in predicate calculus, by mechanically deriving new formulas using rules of inference.
Contributeurs: Isaline Hodecent, wiki
