Rigorous numerics of tubular, conic, star-shaped neighborhoods of slow manifolds for fast-slow systems - Kaname Matsue (2016)