Total: 1
Authors: Yuan Liao, Ziyang Qin, Jui-Hui Chung, Ayush Khaitan, Zhengyang Zhang, Hongzhou Lin, Zijian Zhang, Ligeng Zhu, Peng Lu, Bennett Chow
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.
Subject: Differential Geometry
Publish: 2026-10-09 17:43:01 UTC
Include(OR):
Exclude:
Search
Filter
Highlight
Stared Paper(s):
#1 A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture
Export
Magic Token:
Kimi Language:
Desc Language:
Save
Bug report? Issue submit? Please visit:
Github: https://github.com/bojone/papers.cool
Please read our Disclaimer before proceeding.
For more interesting features, please visit kexue.fm and kimi.ai.