A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
scientific article; zbMATH DE number 5072804