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
Language:	English
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.
Subjects:	Nonlinear mechanics. Topological dynamics.

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.

Similar Items