A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincar\'e Conjecture NFQ1VPB281
| URI | m2://res/NFQ1VPB281 |
|---|---|
| Kind | preprint |
| Creators | Ziyang Qin, Yuan Liao, Ayush Khaitan, Bennett Chow |
| Date | 2026-09-27 |
| MSC | 53-XX |
| Subjects | arxiv math.DG |
| Scope | in |
Expressions
e1: version, preprint
| Date | 2026-09-27 |
|---|---|
| Ids | arXiv 2609.33842 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| Topological Poincar\'{e} conjecture | statement | theorem 3 | arxiv |
| Moise: existence of a smooth structure | statement | theorem 1 | arxiv |
| Smooth Poincar\'{e} conjecture; Hamilton--Perelman | statement | theorem 2 | arxiv |
Catalogue records
- arxiv: 2609.33842 (work)