Srzednicki, Roman. “On Computer-Assisted Proving the Existence of Periodic and Bounded Orbits”. Annales Mathematicae Silesianae 29 (September 30, 2015): 7-17. Accessed May 17, 2024. https://www.journals.us.edu.pl/index.php/AMSIL/article/view/13973.