Computer assisted proof of drift orbits along normally hyperbolic manifolds.
Maciej J. CapinskiJorge GonzalezJean-Pierre MarcoJason D. Mireles-JamesPublished in: Commun. Nonlinear Sci. Numer. Simul. (2022)
Keyphrases
- computer assisted
- computer aided
- dynamical systems
- intraoperative
- manifold learning
- foreign language
- concept drift
- conservation laws
- theorem proving
- euclidean space
- theorem prover
- grade students
- error accumulation
- cell complexes
- image processing
- learning strategies
- high dimensional data
- arbitrary dimension
- linear logic
- multi dimensional scaling
- low dimensional