Séminaires : Séminaire Géométrie et Topologie

Ce séminaire s’adresse aux géomètres, topologues et dynamiciens au sens large. Il est rattaché aux équipes Analyse Algébrique et Analyse Complexe et Géométrie. Les exposés seront accessibles à une audience large, doctorants inclus. Il se tiendra à Jussieu, le jeudi à 11h, en salle 15-25 502. Le séminaire a l'agenda google suivante: https://calendar.google.com/calendar/b/0?cid=dDgzNTJoczNmdDhlMm5nb2IzMXJwaWpsdHNAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ

Avec Floris van Doorn et Oliver Nash, j'ai récemment expliqué aux ordinateurs la démonstration du théorème de retournement de la sphère de Smale via l'intégration convexe de Gromov. Dans cet exposé, je rappellerai brièvement ce que signifie « expliquer des maths aux ordinateurs » et comment fonctionne l'intégration convexe, dans son implémentation par Theillière. Puis je décrirai une partie de ce que les humains ont gagné en expliquant cette démonstration aux ordinateurs.