Certifying Trajectories of Dynamical Systems

DOI10.1007/978-3-319-32859-1_44zbMath1460.37078OpenAlexW2465550039MaRDI QIDQ2807872

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 systemsreliable computationTaylor modelsmultiple precision computationsball arithmeticcertified integration

Mathematics Subject Classification ID

Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20) Approximation methods and numerical treatment of dynamical systems (37M99)

This page was built for publication: Certifying Trajectories of Dynamical Systems