Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori.
Daniel WilczakRoberto BarrioPublished in: SIAM J. Appl. Dyn. Syst. (2017)
Keyphrases
- reading comprehension
- computer assisted
- computer aided
- dynamical systems
- intraoperative
- affine transformation
- theorem prover
- fourier descriptors
- moment invariants
- geometric modeling
- theorem proving
- surgical training
- linear logic
- boundary value problem
- invariant features
- image processing
- affine invariant
- search space