Publication:3776533
From MaRDI portal
zbMath0636.65081MaRDI QIDQ3776533
Publication date: 1988
error estimation; two-sided bounds; second order; estimation procedure; EB-algorithms; numerical existence proof
34B15: Nonlinear boundary value problems for ordinary differential equations
65L10: Numerical solution of boundary value problems involving ordinary differential equations
Related Items
A programmed algorithm for existence proofs for two-point boundary value problems, Computer-assisted existence proofs for two-point boundary value problems, Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems