swMATH ID: 14477
Software Authors: Roberto Barrio; Angeles Dena; Warwick Tucker
Description: A database of rigorous and high-precision periodic orbits of the Lorenz model. A benchmark database of very high-precision numerical and validated initial conditions of periodic orbits for the Lorenz model is presented. This database is a “computational challenge” and it provides the initial conditions of all periodic orbits of the Lorenz model up to multiplicity 10 and guarantees their existence via computer-assisted proofs methods. The orbits are computed using high-precision arithmetic and mixing several techniques resulting in 1000 digits of precision on the initial conditions of the periodic orbits, and intervals of size 10100 that prove the existence of each orbit.
Homepage: http://cpc.cs.qub.ac.uk/summaries/AEWM_v1_0.html
Related Software: CAPD; AUTO; RODES; TIDES; kv; Chebfun; INTLAB; AUTO-07P; POMULT; MPFR
Cited in: 7 Documents

Citations by Year