01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Appears in collection : Day in Honor of Yvonne Choquet-Bruhat’s 100 th Birthday
I will try to review some of the main achievements in mathematical general relativity, field which has its origin in Y.C. Bruhat's foundational Acta paper: ``Théorème d’existence pour certains systèmes d’equations aux dérivées partielles non-linéaires''