← back to paper
arxiv: 2506.19555 · 2 revisions
Existence of a constant-mean-curvature hypertorus in \(S^4\) via computer assistance