scientific article; zbMATH DE number 5228416
From MaRDI portal
Publication:5437369
zbMath1131.65060MaRDI QIDQ5437369
Publication date: 18 January 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationpreconditioninginitial value problemTaylor modelQR methodinterval methodwrapping effectTaylor integration
Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)
Related Items (9)
Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ On interval predictor-corrector methods ⋮ Interval versions of Milne's multistep methods ⋮ Rigorous and accurate enclosure of invariant manifolds on surfaces ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Stepsize selection in the rigorous defect control of Taylor series methods ⋮ A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
This page was built for publication:
