« Démonstrateur de théorèmes » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 10 : | Ligne 10 : | ||
''' theorem provers''' | ''' theorem provers''' | ||
==Sources== | |||
[https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia ] | [https://en.wikipedia.org/wiki/Reasoning_system Source : Wikipedia ] | ||
Version du 28 janvier 2024 à 11:32
Définition
Les prouveurs de théorèmes utilisent des techniques de raisonnement automatisées pour déterminer des preuves de théorèmes mathématiques. Ils peuvent également être utilisés pour vérifier des preuves existantes. Outre l'utilisation académique, les applications typiques des prouveurs de théorèmes incluent la vérification de l'exactitude des circuits intégrés, des programmes logiciels, des conceptions techniques, etc.
Français
prouveurs de théorème
Anglais
theorem provers
Sources
Contributeurs: Claude Coulombe, Imane Meziani, wiki
