Jordi-Lluís Figueras, Àlex Haro and Alejandro Luque as the authors of the paper Rigorous Computer-Assisted Application of KAM Theory: A Modern Approach, Found Comput Math (2016). doi:10.1007/s10208-016-9339-3.
In this paper, the authors introduce new KAM strategies for constructing invariant tori. The new material consists of improvements in theoretical and computational methods that produce stronger results
in concrete examples, like the standard map, the standard non-twist map and the Froeschlé map. Remarkably, the threshold value obtained in the standard map appears to be almost optimal.