A methodology for the numerical computation of normal forms, centre manifolds and first integrals of Hamiltonian systems. Jorba, Àngel (1999) Experimental Mathematics