TY - RPRT TI - Existence of a constant-mean-curvature hypertorus in \(S^4\) via computer assistance AU - Oscar Perdomo PY - 2025 UR - https://arxiv.org/abs/2506.19555 ID - 2506.19555 ER -