Applications de l'IA à l'étude des structures algébriques finies et à la démonstration
automatique de théorèmes / Boris Shminke ; sous la direction de Carlos Simpson. Thèse
de doctorat : Mathématiques : Université Côte d'Azur : 2023
Information trouvée : rapporteur de thèse, membre du jury
L-functions and Galois representations / edited by David Burns, Kevin Buzzard and
Jan Nekovář, 2007