SrzednickiR. On Computer-Assisted Proving the Existence of Periodic and Bounded Orbits. AMSil 2015, 29, 7-17.