Computer assisted proof of drift orbits along normally hyperbolic manifolds. - Maciej J. Capinski; Jorge Gonzalez; Jean-Pierre Marco; Jason D. Mireles-James (Commun. Nonlinear Sci. Numer. Simul., 2022)