Horseshoes in a Chaotic System with only One Stable equilibrium

To confirm the numerically demonstrated chaotic behavior in a chaotic system with only one stable equilibrium reported by Wang and Chen, we resort to Poincare map technique and present a rigorous computer-assisted verification of horseshoe chaos by virtue of topological horseshoes theory.