1 citations · 1 across the 6 of their papers we have counts for
Showing 2026 · math.DGShow all
2 papers · 2 filters
math.DG2026
A Lean Formalization of the Hamilton--Perelman Proof of the Three-Dimensional Poincaré Conjecture
Ziyang Qin, Yuan Liao, Ayush Khaitan +1
We formalize the smooth three-dimensional Poincaré conjecture, together with the Moise smoothing theorem, yielding the topological three-dimensional Poincaré conjecture. The smooth…
math.DG2026
Local and global conformal invariants of submanifolds
Jeffrey S. Case, Ayush Khaitan, Yueh-Ju Lin +2
We develop methods for constructing and computing conformal invariants of submanifolds, with a particular emphasis on conformal submanifold scalars and conformally invariant integr…