scientific article; zbMATH DE number 903761
From MaRDI portal
Publication:4885375
zbMath0851.65054MaRDI QIDQ4885375
Robert Rihm, George F. Corliss
Publication date: 26 November 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
initial value problemsinternal arithmeticenclosure of solutionvalidated solutionsAWA algorithmenclosure by polynomialsenclosure by Taylor serieshigh-order Taylor series
Nonlinear ordinary differential equations and systems (34A34) Interval and finite arithmetic (65G30) Numerical methods for initial value problems involving ordinary differential equations (65L05)
Related Items
Validated solutions of initial value problems for parametric ODEs ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ On interval predictor-corrector methods ⋮ Interval methods of Adams-Bashforth type with variable step sizes ⋮ Interval versions of Milne's multistep methods ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ Interval versions for special kinds of explicit linear multistep methods ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs ⋮ Interval schemes for singularly perturbed initial value problems ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations ⋮ Validated solutions of initial value problems for ordinary differential equations ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs ⋮ Some recent advances in validated methods for IVPs for ODEs
