Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system

Daniel Wilczak

We propose a general algorithm for computer assisted verification of uniform hyperbolicity for maps which exhibit a robust attractor. The method has been successfully applied to a…