Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach

Allan Hungria, Jean-Philippe Lessard, Jason D. Mireles-James. Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach. Math. Comput., 85(299):1427-1459, 2016. [doi]

Abstract

Abstract is missing.