Pajot Philippe.
« Théorème : l'ordinateur fait ses preuves »
in Sciences & 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 & avenir. Hors série (176, 10/2013) |
Article : | p.22-23 |
Note générale : | Webographie. |
Langues: | Français |
Descripteurs : | |
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. |
Genre : | Article de périodique |
Nature du document : | documentaire |