Pajot Philippe.
« Coq : les maths ont trouvé leur maître »
in La Science et la vie (Paris), 1148 (05/2013), p.110-113.
|
Titre :
|
Coq : les maths ont trouvé leur maître (2013)
|
|
Auteurs :
|
Philippe Pajot, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
La Science et la vie (Paris) (1148, 05/2013)
|
|
Article en page(s) :
|
p.110-113
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
[UNESCO] Logiciel
|
|
Mots-clés :
|
démonstration mathématique
|
|
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.
|
|
Nature du document :
|
Article de périodique
|
