A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations - Figueras, Jordí-Liuís; Gameiro, Márcio Fuzeto; Lessard, Jean-Philippe; Llave, Rafael de la (SIAM Journal on Applied Dynamical Systems, 2017)