JournéesREP25&26juin-Inria2013


Journées Scientifiques 2013 Mardi 25 juin 2013
Exposé Invité L'exposé de Georges Gonthier
Directeur scientifique de l'équipe-projet Composants Mathématiques au sein du Laboratoire Microsoft Research - Inria Georges.Gonthier@inria.fr



Georges Gonthier, Exposé Invité : « Les composants mathématiques du théorème de Feit-Thompson » (durée: 50:36 mn)
Les questions [4:39]
Retour sommaire

retour haut page
Retour Vidéothèque
© 2013 Pôle audiovisuel INRIA-Rennes

Journées Scientifiques 2013