A programmed algorithm for existence proofs for two-point boundary value problems

DOI10.1007/BF02241862zbMath0703.65043MaRDI QIDQ916318

Michael Plum, M. Göhlen, Johann Schroeder

Publication date: 1990

Published in: Computing (Search for Journal in Brave)

zbMATH Keywords

interval arithmetic; polynomial splines; nonlinear two-point boundary value problems; existence of a solution; Numerical results; two-sided error bounds; EB- algorithm

Mathematics Subject Classification ID

34B15: Nonlinear boundary value problems for ordinary differential equations

65G30: Interval and finite arithmetic

65L60: Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations

65L10: Numerical solution of boundary value problems involving ordinary differential equations

65L70: Error bounds for numerical methods for ordinary differential equations

Related Items

Computer-assisted existence proofs for two-point boundary value problems, Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems, Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems

Uses Software

• ACRITH-XSC
• FORTRAN-SC