%0 Journal Article
%A Celletti, Alessandra
%A Falcolini, Corrado
%A Porzio, Anna
%T Rigorous numerical stability estimates for the existence of KAM tori in a forced pendulum
%J Annales de l'I.H.P. Physique théorique
%D 1987
%P 85-111
%V 47
%N 1
%I Gauthier-Villars
%U http://www.numdam.org/item/AIHPA_1987__47_1_85_0/
%G en
%F AIHPA_1987__47_1_85_0