The Parameterization Method for Quasi-Periodic Systems: From Rigorous Results to Validated Numerics | Publicación