Rigorous numerics in dynamics : AMS short course, rigorous numerics in dynamics, January 4-5, 2016, Seattle, Washington / Jan Bouwe van den Berg, Jean-Philippe Lessard, editors.

Saved in:
Bibliographic Details
Other Authors: Berg, Jan Bouwe van den, 1973- (Editor), Lessard, Jean-Philippe, 1978- (Editor)
Format: Book
Published: Providence, Rhode Island : American Mathematical Society, [2018]
Series:Proceedings of symposia in applied mathematics ; v. 74.
Proceedings of symposia in applied mathematics. AMS short course lecture notes.
Table of Contents:
  • Introduction to rigorous numerics in dynamics : general functional analytic setup and an example that forces chaos / Jan Bouwe van den Berg
  • Validated numerics for equilibria of analytic vector fields : invariant manifolds and connecting orbits / J.D. Mireles James
  • Continuation of solutions and studying delay differential equations via rigorous numerics / Jean-Philippe Lessard
  • Computer-assisted bifurcation diagram validation and applications in materials science / Thomas Wanner
  • Dynamics and chaos for maps and the Conley index / Sarah Day
  • Rigorous computational dynamics in the context of unknown nonlinearities / Konstantin Mischaikow.