[article]
Titre : |
Coq : les maths ont trouvé leur maître |
Type de document : |
texte imprimé |
Auteurs : |
Philippe Pajot, Auteur |
Editeur : |
Excelsior publications, 2013 |
Article : |
p.110-113 |
Langues : |
Français (fre) |
in Science & Vie > 1148 (05/2013)
Descripteurs : |
démonstration mathématique / logiciel
|
Résumé : |
Enquête sur le logiciel Coq permettant de vérifier lexactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel dutilisation de cet assistant informatique de preuves. |
Nature du document : |
documentaire |
Genre : |
Article de périodique/Enquête, reportage |
[article] Coq : les maths ont trouvé leur maître [texte imprimé] / Philippe Pajot, Auteur . - Excelsior publications, 2013 . - p.110-113. Langues : Français ( fre) in Science & Vie > 1148 (05/2013)
Descripteurs : |
démonstration mathématique / logiciel
|
Résumé : |
Enquête sur le logiciel Coq permettant de vérifier lexactitude des théorèmes mathématiques : retour sur le fonctionnement de ce programme informatique capable de vérifier les raisonnements ; historique de ce travail de preuves à partir du théorème de Feit-Thompson ; précisions sur le développement et le potentiel dutilisation de cet assistant informatique de preuves. |
Nature du document : |
documentaire |
Genre : |
Article de périodique/Enquête, reportage |
|