scientific article
From MaRDI portal
Publication:3809136
zbMath0659.65058MaRDI QIDQ3809136
Willard L. Miranker, E. Kaucher
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed point iterationfunction spaceultra-arithmeticcomputer generated boundsinterval ultra-arithmeticiterative residual correction
General theory of numerical analysis in abstract spaces (65J05) Iterative procedures involving nonlinear operators (47J25)
Related Items
The constructive investigation of boundary-value problems with approximate satisfaction of boundary conditions ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ Solving nonlinear parabolic problems with result verification. I: One- space dimensional case ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
