Publication:3809136
From MaRDI portal
zbMath0659.65058MaRDI QIDQ3809136
Willard L. Miranker, E. Kaucher
Publication date: 1988
fixed point iteration; function space; ultra-arithmetic; computer generated bounds; interval ultra-arithmetic; iterative residual correction
65J05: General theory of numerical analysis in abstract spaces
47J25: Iterative procedures involving nonlinear operators
Related Items
The constructive investigation of boundary-value problems with approximate satisfaction of boundary conditions, Solving nonlinear parabolic problems with result verification. I: One- space dimensional case, A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method, Rigorous uniform approximation of D-finite functions using Chebyshev expansions