scientific article
From MaRDI portal
Publication:3776533
zbMath0636.65081MaRDI QIDQ3776533
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
error estimationtwo-sided boundssecond orderestimation procedureEB-algorithmsnumerical existence proof
Nonlinear boundary value problems for ordinary differential equations (34B15) Numerical solution of boundary value problems involving ordinary differential equations (65L10)
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