AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Rigorous Numerics in Dynamics
About this Title
Jan Bouwe van den Berg, VU Universiteit Amsterdam, Amsterdam, The Netherlands and Jean-Philippe Lessard, McGill University, Montreal, Quebec, Canada, Editors
Publication: Proceedings of Symposia in Applied Mathematics
Publication Year:
2018; Volume 74
ISBNs: 978-1-4704-2814-3 (print); 978-1-4704-4729-8 (online)
DOI: https://doi.org/10.1090/psapm/074
Table of Contents
Download chapters as PDF
Front/Back Matter
Articles
- Jan Bouwe van den Berg – Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- J. D. Mireles James – Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Jean-Philippe Lessard – Continuation of solutions and studying delay differential equations via rigorous numerics
- Thomas Wanner – Computer-assisted bifurcation diagram validation and applications in materials science
- Sarah Day – Dynamics and chaos for maps and the Conley index
- Konstantin Mischaikow – Rigorous computational dynamics in the context of unknown nonlinearities