Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system

From MaRDI portal
(Redirected from Publication:4644665)