Topological Horseshoes and Computer Assisted Verification of Chaotic Dynamics

@article{Yang2009TopologicalHA,
  title={Topological Horseshoes and Computer Assisted Verification of Chaotic Dynamics},
  author={Xiao-Song Yang},
  journal={I. J. Bifurcation and Chaos},
  year={2009},
  volume={19},
  pages={1127-1145}
}