|
Théorème : l'ordinateur fait ses preuves
de Philippe Pajot
In Sciences et avenir. Hors série, 176 (10/2013), p.22-23
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficacité des assistants de preuve.
|
Pajot Philippe.
« Théorème : l'ordinateur fait ses preuves »
in Sciences et avenir. Hors série, 176 (10/2013), p.22-23.
|
Titre :
|
Théorème : l'ordinateur fait ses preuves (2013)
|
|
Auteurs :
|
Philippe Pajot, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Sciences et avenir. Hors série (176, 10/2013)
|
|
Article :
|
p.22-23
|
|
Note générale :
|
Webographie.
|
|
Langues:
|
Français
|
|
Descripteurs :
|
démonstration mathématique
/
informatique scientifique
|
|
Mots-clés:
|
loi et principe scientifique
|
|
Résumé :
|
Le point sur la vérification du théorème de Feit-Thompson par l'équipe de Georges Gonthier du Centre commun de recherche Inria-Microsoft en septembre 2012, grâce aux outils informatiques : du théorème à sa démonstration, la question de l'efficacité des assistants de preuve.
|
|
Nature du document :
|
documentaire
|
|
Genre :
|
Article de périodique
|
