Srzednicki R. On computer-assisted proving the existence of periodic and bounded orbits. Ann. Math. Sil. [Internet]. 2015 Sep. 30 [cited 2025 May 8];29:7-17. Available from: https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/13973