A Framework for the Numerical Computation and a Posteriori Verification of Invariant Objects of Evolution Equations - Jordi-Lluís Figueras; Marcio Gameiro; Jean Philippe Lessard; Rafael de la Llave (2016)