牛仔竞技 swMATH ID: 30194 软件作者: 沃里克·塔克 描述: 严格的常微分方程求解器和Smale的第14个问题:5。RODES程序:RODES(严格ODE解算器)程序是一个高度自适应的多处理器程序。如前所述,计算是在intervalalgorithm中进行的,必要时采用定向舍入。该功能由PROFIL/BIAS包提供(见[8]),该包在证明中使用的所有架构上都受支持。该程序在20台并行工作的机器上执行。数据通过公共文本文件在进程之间传递。所有浮点数都是以17位精度传递的,这些精度完全按照IEEE标准进行转换。该任务使用的计算机是各种各样的SUN Sparc工作站,型号从LX、Sparc 4到Ultra 1不等。此设置中的总计算时间约为100小时。其他配置较少、处理器更强的计算机的设置也得到了类似的结果。在接下来的章节中,我们将概述程序的全局结构和所进行的计算。 主页: https://link.springer.com/content/pdf/10.1007%2Fs002080018.pdf 关键词: ODE解算器;区间算术;洛伦兹方程;标准形;奇异吸引子 相关软件: 国际实验室;CAPD(机顶盒);泰勒;开普勒98;潮汐;MPFR公司;github;Matlab语言;Coq公司;C-XSC(C-XSC);切布冯;ATOMFT公司;弗洛克;戴恩西上校;ValEncIA-IVP公司;MC工具箱;navierstokes公司;阿伯;C-XSC 2.0版;Ck分析 引用于: 145文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 严格的常微分方程求解器和Smale的第14个问题。 Zbl 1047.37012号沃里克·塔克 2002 全部的 前5名232位作者引用 11 Jean-Philippe Lessard 8 罗伯特·巴里奥 8 沃里克·塔克 7 范登伯格、扬·布韦 6 米雷斯·詹姆斯(Jason D.Mireles-James)。 5 维托尔·阿劳约 5 墨尔本,伊恩 5 德米特里·图雷夫。 5 丹尼尔·威尔扎克 5 彼得·兹格利钦斯基 3 马西耶·卡宾斯基。 3 米歇尔·詹菲利塞 3 费比安·伊姆勒 3 乔纳森·贾奎特 3 玛丽亚·何塞·帕西菲科 3 塞拉诺,塞尔吉奥·E·。 2 Al-Mdallal,Qasem M。 2 马克西姆·布列登 2 努诺·佛朗哥 2 哈维尔·戈梅斯·塞拉诺 2 谢尔盖·五·贡琴科。 2 丹尼尔·席尔瓦·格拉萨 2 赫诺,奥利维尔 2 汤玛斯·约翰逊 2 威廉·D·凯利斯。 2 阿列克谢·哈萨克夫。 2 哈瓦加,U.Al 2 Shin Kiriki 2 谢尔盖·库兹涅佐夫。 2 李东晨 2 亚历山大·尼古拉埃维奇(Alexander Nikolaevich)·普切林塞夫(Pchelintsev) 2 马科斯·罗德里格斯 2 JoséManuel Rodríguez Sanjurjo 2 沈伯文 2 Teruhiko Soma 2 罗马人Srzednicki 2 秋藤忠雄(Takayasu,Akitoshi) 2 克里斯托夫·特劳特 2 桑德罗·瓦因蒂 2 保罗·瓦兰达斯 2 张旭 2 钟宁 1 阿尔贝托·阿巴德。 1 川崎爱原 1 奥迪尔琼·阿赫梅多夫。 1 Al Sakkaf,Laila Y。 1 马克·G·艾伦。 1 伊格纳西奥·J·阿拉亚。 1 彼得·阿什温 1 黑尔·艾塔索 1 阿卜杜拉·阿扎莫维奇·阿扎莫夫 1 瓦尔州巴苏 1 大卫·哈罗德·贝利 1 伊斯坦·巴拉斯 1 佩特尔·巴林特 1 海克托Yáñez驳船 1 布莱克·巴克 1 Guilherme A.巴雷托。 1 费伦茨·戈斯顿·巴塔 1 博格丹·巴特科 1 玛格丽特·贝克 1 亚历山大·贝斯科斯 1 琼·S·伯曼。 1 比约恩松,Jóhann 1 费尔南多·布莱萨 1 韦斯克利·博诺莫 1 乔纳森·迈克尔·博文 1 简·布莱恩 1 佛罗伦萨布莱哈德 1 特里斯坦·巴克马斯特 1 奥利弗·巴特利 1 冈萨罗Cao-Labora 1 罗伯特·卡斯泰利 1 凯文·丘奇。 1 布莱恩·库姆斯(Brian A.Coomes)。 1 JoséT·Costa Filho。 1 朱利安·科托伊斯 1 Dan O·克里斯安。 1 乔纳森·道斯(Jonathan H.P.Dawes)。 1 洛克纳特·德伯纳 1 皮埃尔·德霍诺伊 1 安吉莱斯·德纳 1 邓波 1 查尔斯·罗杰斯,多林 1 加布里埃尔·威廉公爵夫人 1 达达斯,贾诺斯 1 Dzetkulič,托马什 1 马克西米利安·恩格尔 1 尼古拉·叶夫斯蒂涅夫。 1 格雷戈里·艾因克。 1 蒂亚戈·S·法桑哈。 1 弗洛里安·费索尔 1 方、伟 1 伯诺德·菲德勒 1 伊曼纽尔·弗劳兰廷 1 奥斯瓦尔德Fogelklou 1 傅玉莉 1 操,埃里奇 1 兹比格尼乌·加利亚斯 1 阿尔贝·加拉布 …还有132位作者 全部的 前5名70篇连载文章中引用 11 物理D 7 非线性 6 动力学和微分方程杂志 5 数学物理中的通信 5 统计物理杂志 5 微分方程杂志 5 离散和连续动力系统 5 非线性科学与数值模拟中的通信 5 SIAM应用动力系统杂志 4 自动推理杂志 4 国际应用科学与工程分叉与混沌杂志 4 计算动力学杂志 3 应用数学与计算 3 美国数学学会汇刊 3 混乱 3 规则动力学和混沌动力学 3 计算数学基础 2 《物理快报》。A类 2 混沌、孤子和分形 2 亨利·庞加莱研究所年鉴。分析非利奈尔 2 非线性科学杂志 2 约束条件 2 亨利·彭加莱年鉴 1 应用概率的进展 1 计算机物理通信 1 纯粹数学与应用数学交流 1 广义相对论与引力 1 俄罗斯数学调查 1 数学进展 1 比特币 1 数学期刊 1 非线性分析。理论、方法和应用。系列A:理论与方法 1 数值数学 1 应用数学季刊 1 应用数学研究 1 拓扑及其应用 1 电路、系统和信号处理 1 应用概率年鉴 1 数值算法 1 模式识别 1 SIAM数学分析杂志 1 结理论杂志及其分歧 1 新西兰数学杂志 1 数学科学杂志(纽约) 1 复杂性 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 动力与控制系统杂志 1 数学年鉴Silesianae 1 动力系统定性理论 1 国际非线性科学与数值模拟杂志 1 微分方程 1 不同的'nye Uraveniya i Protsessy Upravleniya 1 离散和连续动力系统。B系列 1 葡萄牙数学。新塞里 1 随机与动力学 1 中国科学。F系列 1 计算机科学中的逻辑方法 1 拓扑杂志 1 日本数学杂志。第3系列 1 科学史与哲学研究。第二部分近代物理史与哲学研究 1 国际微分方程杂志 1 S(\vec{\text{e}}\)文学硕士期刊 1 数学 1 SIAM/ASA不确定性量化杂志 1 国际应用与计算数学杂志 1 Nelineĭnaya Dinamika公司 1 意大利马特马提卡联盟Bollettino dell'Unione Matematica Italiana 1 冬季编织讲义 1 乌拉尔数学杂志 1 美国数学学会通讯 全部的 前5名36个领域引用 89 动力系统和遍历理论(37至XX) 49 常微分方程(34-XX) 47 数值分析(65-XX) 22 偏微分方程(35-XX) 16 计算机科学(68至XX) 11 概率论与随机过程(60-XX) 8 系统论;控制(93至XX) 7 生物学和其他自然科学(92-XX) 6 流形和细胞复合体(57至XX) 6 粒子和系统力学(70-XX) 5 流体力学(76-XX) 3 历史和传记(01-XX) 3 数学逻辑和基础(03-XX) 3 统计学(62-XX) 3 地球物理学(86-XX) 3 运筹学、数学规划(90-XX) 2 组合数学(05-XX) 2 近似值和展开值(41-XX) 2 欧氏空间的调和分析(42-XX) 2 算子理论(47-XX) 2 变分法与最优控制;最优化(49至XX) 2 微分几何(53至XX) 2 一般拓扑结构(54至XX) 2 整体分析,流形分析(58至XX) 2 可变形固体力学(74-XX) 2 统计力学,物质结构(82-XX) 2 信息与通信理论、电路(94-XX) 1 有序,格,有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 实际功能(26-XX) 1 复变量的函数(30年XX月) 1 差分和函数方程(39至XX) 1 积分变换,运算微积分(44-XX) 1 经典热力学,传热(80-XX) 1 相对论和引力理论(83至XX) 按年份列出的引文