MATSUE, K. Rigorous numerics for fast-slow systems with one-dimensional slow variable: topological shadowing approach. Topological Methods in Nonlinear Analysis, [S. l.], v. 50, n. 2, p. 357–468, 2017. Disponível em: https://apcz.umk.pl/TMNA/article/view/TMNA.2016.072. Acesso em: 22 jul. 2024.