Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach | Publicación