TY - RPRT TI - Computer assisted proofs for transverse heteroclinics by the parameterization method AU - Maxime Murray AU - J. D. Mireles James PY - 2024 UR - https://arxiv.org/abs/2405.12446 ID - 2405.12446 ER -