Symbolic and numerical methods for Hamiltonian systems