Certifying trajectories of dynamical systems
DOI10.1007/978-3-319-32859-1_44zbMATH Open1460.37078OpenAlexW2465550039MaRDI QIDQ2807872FDOQ2807872
Authors: Joris van der Hoeven 
Publication date: 25 May 2016
Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-32859-1_44
Recommendations
- Rigorous verification of trajectories for the computer simulation of dynamical systems
- scientific article; zbMATH DE number 17413
- Making big steps in trajectories
- scientific article
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
dynamical systemsTaylor modelsreliable computationmultiple precision computationsball arithmeticcertified integration
Approximation methods and numerical treatment of dynamical systems (37M99) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)
This page was built for publication: Certifying trajectories of dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2807872)
