Résultat de la recherche
1 recherche sur le mot-clé 'démonstration mathématique'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes Faire une suggestion
Article : texte imprimé
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'efficac[...]