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

> Research article (Nonlinearity, 2018) · cited 25× · AI/ML

**Wikidata**: [openalex:W2770975716](https://www.wikidata.org/wiki/openalex:W2770975716)  
**Source**: https://4ort.xyz/entity/computer-assisted-proof-of-the-existence-of-the-lorenz-attractor-in-the-shimizumorioka-system