Rigorous Numerics in Dynamics

DOI10.1090/PSAPM/074MaRDI QIDQ4581314zbMATH OpenOpenAlexFDO

Authors

Publication date 16 August 2018

Published in Proceedings of Symposia in Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/psapm/074

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Bifurcations in context of PDEs (35B32) Proceedings, conferences, collections, etc. pertaining to dynamical systems and ergodic theory (37-06) Index theory for dynamical systems, Morse-Conley indices (37B30) Approximation methods and numerical treatment of dynamical systems (37M99) Spectral, collocation and related methods for boundary value problems involving PDEs (65N35)

Recommendations

• Book Reviews
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
• Dynamical numerical analysis. Conference, School of Mathematics at the Georgia Institute of Technology in Atlanta, GA, USA, December 14--16, 1995
• scientific article; zbMATH DE number 2123109
• Rigorous numerics for homoclinic dynamics
• Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
• On a system of rational difference equations
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
• Elements of dynamical systems. Lecture notes form NCM school, Delhi, India, December 4--23, 2017
• Dynamics in numerics: On two different finite difference schemes for ODEs

Cited in

(11)

• Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
• A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
• Preface: Special issue on the occasion of the 4th international workshop on set-oriented numerics (SON 13, Dresden, 2013)
• Generalized Maslov indices for non-Hamiltonian systems
• Book Reviews
• Rigorous numerics for fast-slow systems
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
• Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
• Pattern formation and nonlinear waves close to a 1:1 resonant Turing and Turing-Hopf instability
• Computer assisted existence proofs for parameterized cycle-to-cycle connections
• Determination of stable branches of relative equilibria of the N-vortex problem on the sphere

This page was built for publication: Rigorous Numerics in Dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4581314)