Computer assisted proof for normally hyperbolic invariant manifolds | Publicación