We examine the role of a computer to prove the existence of periodic orbits of nonquadratic dynamical systems on the lines of the work of Vul and Sinai for quadratic systems. We show that, in principle, the work can be successful. Results, simpler in the case of quadratic systems, are applied to the well studied Lorenz model.