Certifying trajectories of dynamical systems

DOI10.1007/978-3-319-32859-1_44MaRDI QIDQ2807872zbMATH OpenOpenAlexFDO

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

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)

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

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)