TY - JOUR AU - Celletti, Alessandra AU - Falcolini, Corrado AU - Porzio, Anna TI - Rigorous numerical stability estimates for the existence of KAM tori in a forced pendulum JO - Annales de l'I.H.P. Physique théorique PY - 1987 SP - 85 EP - 111 VL - 47 IS - 1 PB - Gauthier-Villars UR - http://www.numdam.org/item/AIHPA_1987__47_1_85_0/ LA - en ID - AIHPA_1987__47_1_85_0 ER -