Systematic Computer Assisted Proofs of periodic orbits of Hamiltonian systems | Publicación