A database of rigorous and high-precision periodic orbits of the Lorenz model

Abstract
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...

Title of program: Lorenz-Database
Catalogue Id: AEWM_v1_0

Nature of problem
Database of all periodic orbits of the Lorenz model up to multiplicity 10 with 1000 precision digits.

Versions of this program held in the CPC repository in Mendeley Data
AEWM_v1_0; Lorenz-Database; 10.1016/j.cpc.2015.04.007

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018)

摘要：本文提出了一种关于洛伦兹模型周期轨道的高精度数值和验证初始条件基准数据库。该数据库构成一项“计算挑战”，它提供了洛伦兹模型所有周期轨道（包括多重性高达10的情况）的初始条件，并通过计算机辅助证明方法保证了这些轨道的存在。轨道的计算采用了高精度算术，并结合多种技术，实现了初始条件精度达到1000位数字。

程序名称：洛伦兹数据库

目录编号：AEWM_v1_0

问题性质：包含洛伦兹模型所有周期轨道（多重性至10）的数据库，初始条件精度达到1000位数字。

Mendeley数据中CPC存储库中保存的此程序的版本：AEWM_v1_0；洛伦兹数据库；10.1016/j.cpc.2015.04.007

该程序已从贝尔法斯特女王大学（1969-2018）的CPC程序库中导入。