Computer assisted proofs in dynamical systems.
Maciej J. CapinskiJason D. Mireles-JamesWarwick TuckerDaniel WilczakJan Bouwe van den BergPublished in: Commun. Nonlinear Sci. Numer. Simul. (2023)
Keyphrases
- computer assisted
- dynamical systems
- computer aided
- dynamic systems
- differential equations
- phase space
- control theory
- nonlinear dynamical systems
- state space
- intraoperative
- foreign language
- dynamical behavior
- partially observable
- qualitative simulation
- linear systems
- agent environment
- pattern recognition
- search algorithm
- image processing
- computer vision
- nonlinear dynamics
- dynamical models