scientific article
From MaRDI portal
zbMath0575.65075MaRDI QIDQ3694581
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonlinear boundary value problems for ordinary differential equations (34B15) Nonlinear ordinary differential equations and systems (34A34) Interval and finite arithmetic (65G30) Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical solution of boundary value problems involving ordinary differential equations (65L10)
Related Items
Verified solution of large systems and global optimization problems, Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem, A programmed algorithm for existence proofs for two-point boundary value problems, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
