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; zbMATH DE number 67124
• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models

zbMATH Keywords

dynamical systemsTaylor modelsreliable computationmultiple precision computationsball arithmeticcertified integration

Mathematics Subject Classification ID

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)

Cited In (1)

• Making big steps in trajectories

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)