Computer assisted proofs in dynamical systems

DOI10.1016/J.CNSNS.2022.106998MaRDI QIDQ2684072zbMATH OpenOpenAlexFDO

Authors

Publication date 16 February 2023

Published in Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cnsns.2022.106998

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to dynamical systems and ergodic theory (37-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Publication:4863283
• scientific article; zbMATH DE number 992826
• Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
• An application of computer algebra and dynamical systems
• scientific article; zbMATH DE number 4108029
• Computer-assisted proofs in analysis
• Computable analysis with applications to dynamic systems
• Computer algebra methods for equivariant dynamical systems
• scientific article; zbMATH DE number 67112
• Computability and dynamical systems

Cited in

(10)

• Computer assisted proof of chaotic dynamics in the Rössler map
• Computer aided proof for the global stability of Lotka-Volterra systems
• Some applications of computers to the investigation of substitutional dynamical systems.
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Computer assisted proof of drift orbits along normally hyperbolic manifolds
• Computability and dynamical systems
• scientific article; zbMATH DE number 67111 (Why is no real title available?)
• scientific article; zbMATH DE number 67112 (Why is no real title available?)
• Computer assisted studies in dynamical systems
• A mechanism for growth of topological entropy

This page was built for publication: Computer assisted proofs in dynamical systems

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