@misc{indiciaeadabc4f72cec,
  title = {Existence of a constant-mean-curvature hypertorus in \textbackslash{}(S\textasciicircum{}4\textbackslash{}) via computer assistance},
  author = {Oscar Perdomo},
  year = {2025},
  url = {https://arxiv.org/abs/2506.19555},
  note = {Source identifier: 2506.19555}
}