2000 character limit reached
Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
Published 28 Nov 2017 in math.DS | (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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.