  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.

Dynamical Systems