Pajot Philippe.
« Coq : les maths ont trouvé leur maître »
in Science & Vie, 1148 (05/2013), p.110-113.
|
Titre :
|
Coq : les maths ont trouvé leur maître (05/2013)
|
|
Auteurs :
|
Philippe Pajot, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Science & Vie (1148, 05/2013)
|
|
Article :
|
p.110-113
|
|
Descripteurs :
|
démonstration mathématique
/
logiciel
|
|
Résumé :
|
Enquête sur le logiciel Coq permettant de vérifier l’exactitude 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 d’utilisation de cet assistant informatique de preuves.
|
