Computer-assisted proof of skeletons of periodic orbits.
Roberto BarrioMarcos RodríguezFernando BlesaPublished in: Comput. Phys. Commun. (2012)
Keyphrases
- computer assisted
- computer aided
- intraoperative
- dynamical systems
- distance transform
- theorem proving
- foreign language
- linear logic
- shape representation
- medial axis
- thinning algorithm
- shape analysis
- parallel thinning
- project based learning
- distance maps
- theorem prover
- learning experience
- computer assisted instruction
- surgical training