01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
Geometry of Shape Spaces of Curves and Surfaces - Part 4
De Eric Klassen
Apparaît dans la collection : 2022 - T3 - Geometry and statistics in data sciences
The goal of this Thematic quarter is to highlight the rich interactions between Statistics, Probability theory, Geometry and Topology in the field of Mathematics of AI. It will allow young researchers, Masters students and PhD students to explore cross-disciplinary topics.
