Horseshoe in a modified Van der Pol–Duffing circuit

In this paper, we study a modified Van der Pol–Duffing circuit, and present a rigorous verification for existence of chaos in this system. The arguments are given in the manner of computer-assisted proof by using topological horseshoe theory.