Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
Judicious use of interval arithmetic, combined with careful pen and paper estimates, leads to effective strategies for computer assisted analysis of nonlinear operator equations. The method of radii polynomials is an efficient tool for bounding the smallest and largest neighborhoods on which a Newton-like operator associated with a nonlinear equation …