![]()
|
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.
