Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series. - Jean-Philippe Lessard; Christian Reinhardt (SIAM J. Numer. Anal., 2014)

Computing (Un)stable Manifolds with Validated Error Bounds: Non-resonant and Resonant Spectra. - Jan Bouwe van den Berg; Jason D. Mireles-James; Christian Reinhardt (J. Nonlinear Sci., 2016)