A computer-assisted verification of chaos in a Hopfield neural network
Qingju Fan, Xiao‐Song Yang · 2008
This paper demonstrates chaos in Hopfield neural networks (HNNS) for certain value assigned to the connection matrix. Based on the topological horseshoe theory and elementary symbolic dynamics, a rigorous computer-assisted verification is offered.