Théorème : l'ordinateur fait ses preuves

Dans le périodique : Sciences & avenir. Hors série, n°176 (10/2013)
• Auteur : Philippe Pajot
• Pages : p.22-23
  • Langues : Français
• • Nature du document : documentaire lycée Genre : article de périodique
  • Note générale : Webographie.
  • 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.

• • Descripteurs : démonstration mathématique / informatique scientifique
  • Mots-clés : loi et principe scientifique
  • Niveau : Lycée