Srzednicki R. On computer-assisted proving the existence of periodic and bounded orbits. AMSil [Internet]. 30Sep.2015 [cited 17May2024];29:7-7. Available from: https://www.journals.us.edu.pl/index.php/AMSIL/article/view/13973