A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB

DOI10.1016/j.cam.2019.112511zbMath1429.65144OpenAlexW2978215563MaRDI QIDQ2291993

Florian Bünger

Publication date: 31 January 2020

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cam.2019.112511

zbMATH Keywords

ordinary differential equationsinitial value problemsTaylor models

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)

Related Items

Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains ⋮ kv

Uses Software

• Matlab
• INTLAB
• ValEncIA-IVP
• Cosy
• ValEncIA
• VNODE
• ODEIntegrator
• Flow*

Cites Work

• Shrink wrapping for Taylor models revisited
• Controlling the wrapping effect in the solution of ODEs for asteroids
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• Rigorous integration of flows and ODEs using taylor models
• On Taylor Model Based Integration of ODEs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item