洛伦兹数据库

一个高精度的Lorenz周期轨道模型。给出了Lorenz模型周期轨道高精度数值和验证初始条件的基准数据库。这个数据库是一个“计算挑战”,它提供了洛伦兹模型的所有周期轨道的初始条件,并且通过计算机辅助的证明方法保证了它们的存在性。这些轨道是使用高精度算法和混合多种技术计算出来的,在周期轨道的初始条件下,精度达到1000位数,间隔大小为10100,证明每个轨道的存在。