scientific article

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

automatic differentiation Taylor expansion multiple shooting computer implementation wrapping effect guaranteed enclosures for the solutions

Mathematics Subject Classification ID

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) Error bounds for numerical methods for ordinary differential equations (65L70)

Related Items

A study of rigorous ODE integrators for multi-scale set-oriented computations, Computing Morse decomposition of ODEs via Runge-Kutta method, Enclosing solutions of an inverse Sturm-Liouville problem with finite data, Recent advances in a rigorous computation of Poincaré maps, Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations, Verified Solution Method for Population Epidemiology Models with Uncertainty, Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model, Verified integration of linear \(n\)th order ODEs using large steps, On interval predictor-corrector methods, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, Interval versions of Milne's multistep methods, Error bounds for initial value problems by optimization, COUNTING LOW-PERIOD CYCLES FOR FLOWS, Computer‐assisted analysis of chaos in a three‐species food chain model, Validated numerics for continuation and bifurcation of connecting orbits of maps, Robustness analysis of continuous-depth models with Lagrangian techniques, Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering, Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Interval versions for special kinds of explicit linear multistep methods, Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I, Computer assisted proof of chaos in the Lorenz equations, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, Verified Solution of Nonlinear Dynamic Models in Epidemiology, Topological horseshoes of traveling waves for a fast-slow predator-prey system, Rigorous numerics for ODEs using Chebyshev series and domain decomposition, Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs, Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds, Interval schemes for singularly perturbed initial value problems, Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level, Chaos in the Lorenz equations: A computer assisted proof. Part II: Details, Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Period doubling in the Rössler system -- a computer assisted proof, A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line, Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof, Rigorous integration of non-linear ordinary differential equations in Chebyshev basis, Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs

Uses Software

FORTRAN-SC