scientific article; zbMATH DE number 714518
From MaRDI portal
Publication:4321538
zbMath0815.65095MaRDI QIDQ4321538
Publication date: 23 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ordinary differential equationsinitial value problemsiterative methodsinterval methodsinclusion theoremssurvey articlewrapping effectverification of solutioncontinuous error methods
Nonlinear ordinary differential equations and systems (34A34) Interval and finite arithmetic (65G30) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Numerical methods for initial value problems involving ordinary differential equations (65L05)
Related Items
A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ An application of Taylor models to the Nakao method on ODEs ⋮ Design of high-gain observers based on sampled measurements via the interval arithmetic ⋮ On the stock estimation for a harvested fish population ⋮ Interval schemes for singularly perturbed initial value problems ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ On the semi-convergence of interval matrices ⋮ Set membership state and parameter estimation for systems described by nonlinear differential equations ⋮ Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations ⋮ Effective bounds for P-recursive sequences ⋮ Validated solutions of initial value problems for ordinary differential equations ⋮ Rigorously computed orbits of dynamical systems without the wrapping effect ⋮ Truncation bounds for differentially finite series ⋮ Interval analysis: Theory and applications
