A rigorous verification of chaos in an inertial two-neuron system

In this paper a rigorous verification for existence of horseshoe embedded in the attractor of a two-neurons system obtained is presented. The arguments are given in a spirit of computer-assisted proof by using topological horseshoe theory and elementary symbolic dynamics.