Method validates periodic and singular orbits in fast-slow systems with one-dimensional slow variable.
problem Validation of periodic, homoclinic, and heteroclinic orbits in fast-slow systems with one-dimensional slow variable.
method Topological tools (isolating blocks, cone condition, covering relations) and additional techniques (slow shadowing, m-cones) for rigorous numerics.
result Validation of global orbits for fast-slow systems across a wide range of ε.