Conley Index Theory, Symbolic Dynamics, and Entropy
Presenter
April 5, 2016
Keywords:
- symbolic dynamics
- Computer-assisted proof
- Conley Index
MSC:
- 37B10
- 37B30