OpenAlex ·
A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
- Published
- Source
- OpenAlex
- Published in
- arXiv (Cornell University)
- DOI
- 10.48550/arxiv.2609.33842
- Original
- Read it at the publisher
- Topics
Abstract
We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture. The smooth proof follows the Hamilton--Perelman route through Ricci flow with surgery and finite-time extinction.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Artificial Intelligence
Uniqueness of convex central configurations in the planar four-body problem
Toward Pólya and Szegő's conjecture for logarithmic vs Newtonian capacity
The lattice of varieties of semigroups with completely regular square. II
Planar Contact Structures with Calabi-Yau Fillings and Topological Quantum Computation
There is no $8$-regular $K_3$-irregular graph
Get the few papers worth your time in Artificial Intelligence every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.