Évènements
Rechercher un événement
Une application de l’élimination parallèle des coupures en logique linéaire multiplicative sans unités au développement de Taylor des réseaux de preuves
Jules Chouquet (IRIF, Université de Paris)
TBA
Graphes de congruence et le spectre de l'algèbre de Hecke
Samuele Anni (Interdisciplinary Center for Scientific Computing (IWR) in Heidelberg)
Les relations de congruence entre les formes modulaires jouent un rôle crucial dans la compréhension des liens entre la géométrie et l'arithmétique. Par exemple, la [...]
