Computer assisted proofs in dynamical systems

DOI10.1016/J.CNSNS.2022.106998zbMATH Open1505.00046OpenAlexW4309200146MaRDI QIDQ2684072

Author name not available (Why is that?)

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 computer science (68-06) Proceedings, conferences, collections, etc. pertaining to dynamical systems and ergodic theory (37-06)

Related Items (4)

Computer aided proof for the global stability of Lotka-Volterra systems ⋮ Some applications of computers to the investigation of substitutional dynamical systems. ⋮ Title not available (Why is that?) ⋮ Computer assisted proof of chaotic dynamics in the Rössler map

Recommendations

• Computer-assisted proofs in analysis 👍 👎
• Computer algebra methods for equivariant dynamical systems 👍 👎
• An application of computer algebra and dynamical systems 👍 👎
• Systematic computer assisted proofs of periodic orbits of Hamiltonian systems 👍 👎
• Computability and Dynamical Systems 👍 👎
• Computable analysis with applications to dynamic systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)