SRZEDNICKI, Roman. On computer-assisted proving the existence of periodic and bounded orbits. Annales Mathematicae Silesianae, [S. l.], v. 29, p. 7–17, 2015. Disponível em: https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/13973. Acesso em: 8 may. 2025.