Pre-formalization networks
Mathematics submitted as a network of statements rather than as a document: every definition, lemma and theorem is a node, and every use of one by another is an edge. Each entry opens into the network itself.
Showing 1 of 1 under ricci-flow · all entries
The min-max route to finite extinction of Ricci flow
Xinze LiHow sweepouts by -spheres force the Ricci flow with surgery to die in finite time: the width, its evolution inequality, and the extinction they force.
- Comments:
- 10 sections · 64 statements · submitted July 31, 2026 (v4)