TY - RPRT TI - From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs AU - Jan Bouwe van den Berg AU - Gabriel William Duchesne AU - Jean-Philippe Lessard PY - 2025 UR - https://arxiv.org/abs/2507.16798 ID - 2507.16798 ER -