Designed and built with care, filled with creative elements

Top
En cours

Exposition: “Pionnières de l’abstraction : Mathématiciennes d’Ulm et Sèvres avant 1986”

Bibliothèque Maths-Info 45 rue d'Ulm, Paris

Des élèves bénévoles du DMA ont réalisé une série de posters sur des mathématiciennes ayant fait l’ENS Ulm avant la mixité ou l’École Normale Supérieure de Jeunes Filles (ENSJF). Les mathématiciennes présentées sont : Marie-Louise Dubreil-Jacotin, Marie-Hélène Schwartz, Michèle Vergne et Brigitte Vallée. Les posters seront exposés à la Bibliothèque de Mathématiques et Informatique de l’École Normale Supérieure et sont accompagnés d’affiches sur l’histoire de la mixité à l’ENS et de l’ENSJF ainsi que d’archives issue du fond d’archives de l’ENS. L'exposition sera inaugurée le 31 mai 2023. À 13h […]

Eduardo Silva, raconte-moi les fonctions harmoniques et le bord de Poisson des groupes hyperboliques !

DMA Salle W

La géométrie asymptotique d'un groupe discret peut être étudiée à partir des espaces de fonctions harmoniques dans le groupe. C'est le cas du bord de Martin, qui correspond aux fonctions harmoniques positives, et du bord de Poisson, qui correspond aux fonctions harmoniques bornées. Dans cet exposé, nous introduirons ces concepts et expliquerons leurs liens avec les marches aléatoires dans les groupes. Nous discuterons en détail le cas des groupes hyperboliques, notamment des groupes libres, et présenterons des résultats qui décrivent le bord de Poisson au travers du bord de Gromov, […]

Simplicité

amphi Galois NIR

Les « assistants de preuve » sont des logiciels qui permettent d'entrer un énoncé de théorème et sa démonstration comme un programme, la compilation dudit programme garantissant que la démonstration proposée prouve effectivement l'énoncé donné. Initiés dans les années 60, ils font l'objet d'une grande activité scientifique depuis une trentaine d'années et ont permis de vérifier la correction d'énoncés tout à fait non triviaux. Intéressé par ces développements, je me suis appliqué à démontrer la simplicité du groupe alterné au sein du logiciel Lean et de sa librairie mathématique mathlib. […]