MATSUE, Kaname. Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach. Topological Methods in Nonlinear Analysis. Online. 16 September 2017. Vol. 50, no. 2, pp. 357 - 468. [Accessed 22 July 2024].