| 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 en page(s) : | p.22-23 |
| Note générale : | Webographie. |
| Langues: | Français |
| Mots-clés: | loi et principe scientifique / démonstration mathématique / informatique 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 |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 11642 | ARCHIVES | Périodique | CDI Enseignants | Périodiques | Disponible |