A Posteriori Error Bounds for Two-Point Boundary Value Problems
From MaRDI portal
Publication:3923534
DOI10.1137/0718028zbMath0469.65062MaRDI QIDQ3923534
Publication date: 1981
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/0718028
existence of solutions; two-point boundary value problem; roundoff error; truncation error; a posteriori error bounds; computational existence proofs
34B15: Nonlinear boundary value problems for ordinary differential equations
65L10: Numerical solution of boundary value problems involving ordinary differential equations
Related Items
Numerical verifications of solutions for nonlinear elliptic equations, Computer-assisted existence proofs for two-point boundary value problems, Solving nonlinear parabolic problems with result verification. I: One- space dimensional case, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, Numerical verification of existence and inclusion of solutions for nonlinear operator equations