Publication:5437369
From MaRDI portal
zbMath1131.65060MaRDI QIDQ5437369
Publication date: 18 January 2008
verification; preconditioning; initial value problem; Taylor model; QR method; interval method; wrapping effect; Taylor integration
34A34: Nonlinear ordinary differential equations and systems
65G40: General methods in interval analysis
65L05: Numerical methods for initial value problems involving ordinary differential equations
65G20: Algorithms with automatic result verification
Related Items
Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Rigorous and accurate enclosure of invariant manifolds on surfaces, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs, 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, On interval predictor-corrector methods, Interval versions of Milne's multistep methods