Computer-assisted verification of chaos in the model of nuclear spin generator

In this paper, chaos in a nuclear spin generator is revisited. To confirm the numerically demonstrated chaotic behavior in the nuclear spin generator, we resort to Poincaré map technique and present a rigorous computer-assisted verification of horseshoe chaos by virtue of topological horseshoes theory.