TY - RPRT TI - Rigorous computer assisted application of KAM theory: a modern approach AU - Jordi-LluĂ­s Figueras AU - Alex Haro AU - Alejandro Luque PY - 2016 UR - https://arxiv.org/abs/1601.00084 ID - 1601.00084 ER -