Bibliographic Details
| Title: |
A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture |
| Authors: |
Liao, Yuan, Qin, Ziyang, Chung, Jui-Hui, Khaitan, Ayush, Zhang, Zhengyang, Lin, Hongzhou, Zhang, Zijian, Zhu, Ligeng, Lu, Peng, Chow, Bennett |
| Publication Year: |
2026 |
| Subject Terms: |
Differential Geometry, 53E20 |
| Description: |
We formalize the Hamilton--Perelman Ricci-flow proof of Thurston's geometrization conjecture. The public Lean declaration is reproduced in this paper. Its geometric interpretation follows, and verification is recorded in 4. |
| Document Type: |
Working Paper |
| DOI: |
10.48550/arXiv.2610.13897 |
| Access URL: |
https://arxiv.org/abs/2610.13897 |
| Accession Number: |
edsarx.2610.13897 |
| Database: |
arXiv |