Recent progress in the integration of Poisson systems via the mid-point rule and Runge-Kutta algorithm. Buchner, Klaus, Craioveanu, Mircea, Puta, Mircea (1996) Balkan Journal of Geometry and its Applications (BJGA)
Rigorous numerical stability estimates for the existence of KAM tori in a forced pendulum Alessandra Celletti, Corrado Falcolini, Anna Porzio (1987) Annales de l'I.H.P. Physique théorique