TY - DATA TI - Rigorous numerics in dynamics T2 - Proceedings of symposia in applied mathematics, SN - 9781470447298 (online) PY - 2018/// CY - Providence, R.I. PB - American Mathematical Society KW - Dynamical systems and ergodic theory KW - Dynamical systems and ergodic theory -- Topological dynamics -- Index theory, Morse-Conley indices KW - Nonlinear mechanics KW - Numerical analysis -- Error analysis and interval analysis -- None of the above, but in this section KW - Numerical analysis -- Ordinary differential equations -- None of the above, but in this section KW - Numerical analysis -- Partial differential equations, boundary value problems -- Spectral, collocation and related methods KW - Partial differential equations -- Qualitative properties of solutions -- Bifurcation KW - Topological dynamics N1 - Includes bibliographical references and index; AMS Short Course, Rigorous Numerics in Dynamics, January 4-5, 2016, Seattle, Washington UR - http://www.ams.org/psapm/074/ ER -