Matsue K. Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach. TMNA [Internet]. 2017 Sep. 16 [cited 2024 Jul. 22];50(2):357-468. Available from: https://apcz.umk.pl/TMNA/article/view/TMNA.2016.072