劳伦兹数据库

劳伦兹模型的严格和高精度周期轨道的数据库。给出了劳伦兹模型的高精度数值和验证周期轨道初始条件的基准数据库。这个数据库是一个“计算挑战”,它提供了劳伦兹模型的所有周期轨道的初始条件到多重10,并通过计算机辅助证明方法保证了它们的存在。轨道使用高精度算法和混合若干技术,在周期轨道的初始条件下产生1000个数字精度,并且证明每个轨道的存在的大小10100的间隔。