Srzednicki, R. On Computer-Assisted Proving the Existence of Periodic and Bounded Orbits. Ann. Math. Sil. 2015, 29, 7-17.