Cycles in continuous and discrete dynamical systems : computations, computer-assisted proofs, and computer experiments - Kudryashova, Elena V. (Jyväskylä studies in computing, 2009)