摘要：计算验证的边界的一阶变分方程解的新算法：Rössler系统中的吸引子的存在的计算机辅助证明
作者：Irmina Walawska and Daniel Wilczak
论文ID：1509.07388
分类：Numerical Analysis
分类简称：math.NA
提交时间：2020-10-15
PDF 下载： 英文版 中文版pdf翻译中