@misc{indiciaee9a6de783421,
  title = {From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs},
  author = {Jan Bouwe van den Berg and Gabriel William Duchesne and Jean-Philippe Lessard},
  year = {2025},
  url = {https://arxiv.org/abs/2507.16798},
  note = {Source identifier: 2507.16798}
}