Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system (1711.10404v3)

Abstract: We prove, by employing rigorous numerics, that Shimizu-Morioka system has a Lorenz attractor for an open set of parameter values. Using this result, we prove the existence of a discrete version of the Lorenz attractor for a class of three-dimensional polynomial diffeomorphisms.