| Nicolas Mascot |  |
 |
Date de l'exposé : 11 décembre 2015
Certification de représentations galoisiennes modulaires
Nous verrons comment certifier algorithmiquement des calculs de représentations galoisiennes associés à des formes modulaires, en nous appuyant notamment sur le théorème de Khare-Wintenberger (ex conjecture de modularité de Serre) et des calculs de cohomologie des groupes afin de déterminer le groupe de Galois de certains polynômes.
