Resources / preprint
A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture HJ0J4R06ZM
| URI | m2://res/HJ0J4R06ZM |
|---|
| Kind | preprint |
|---|
| Creators | Yuan Liao, Ziyang Qin, Jui-Hui Chung, Ayush Khaitan, Zhengyang Zhang, Hongzhou Lin, Zijian Zhang, Ligeng Zhu, Peng Lu, Bennett Chow |
|---|
| Date | 2026-10-09 |
|---|
| MSC | 53-XX |
|---|
| Subjects | arxiv math.DG |
|---|
| Scope | in |
|---|
Expressions
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
Catalogue records
- arxiv: 2610.13897 (work)
- zbmath_search: 903206443 (work)
