SrzednickiR., “On computer-assisted proving the existence of periodic and bounded orbits”, AMSil, vol. 29, pp. 7-17, Sep. 2015.