[article] 
inScience et vie > 1148 (mai 2013) . - p.110-113

Titre :	Coq : les maths ont trouvé leur maître
Type de document :	texte imprimé
Auteurs :	Philippe Pajot, Auteur
Editeur :	Excelsior publications
Année de publication :	2013
Article en page(s) :	p.110-113
Langues :	Français (fre)
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.
Permalink :	./index.php?lvl=notice_display&id=32903

[article] Coq : les maths ont trouvé leur maître [texte imprimé] / Philippe Pajot, Auteur . - [S.l.] : Excelsior publications, 2013 . - p.110-113.
Langues : Français (fre)
in Science et vie > 1148 (mai 2013) . - p.110-113

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.
Permalink :	./index.php?lvl=notice_display&id=32903