SrzednickiR. On computer-assisted proving the existence of periodic and bounded orbits. Annales Mathematicae Silesianae, v. 29, p. 7-17, 30 set. 2015.