Systematic Computer Assisted Proofs of periodic orbits of Hamiltonian systems.

Roberto Barrio Marcos Rodríguez

Published in: Commun. Nonlinear Sci. Numer. Simul. (2014)

Keyphrases

computer assisted
computer aided
machine learning
neural network
knowledge based systems
dynamical systems
intraoperative
project based learning
image segmentation
computer systems
learning systems
complex systems
foreign language
surgical training