Le moteur de recherche
des thèses françaises
Kevin Buzzard
IdRefMots clés
FR |
EN
Image de Galois
Familles p-adiques
Formes automorphes
Galois, Théorie de
Nombres p-adiques
Hecke, Opérateurs de
Intelligence artificielle
Démonstration automatique de théorèmes
Structures algébriques finies
Théorèmes -- Démonstration automatique
Algèbre
Opérateurs de Hecke
Shimura, Variétés de
Hilbert, Surfaces modulaires de