VERICOMP公司 swMATH ID: 6149 软件作者: 叶卡捷琳娜·奥尔;安德烈亚斯·劳赫 描述: VERICOMP是一个用于比较和测试初值问题验证解算器的系统。经过验证的解算器生成的数值集在数学上被证明包含精确解。 主页: http://link.springer.com/article/10.1007%2FS06007-2011年1月178-4日 关键词: 初值问题求解器;经验证的方法;推荐系统;比较系统学 相关软件: 瓦伦西亚;ValEncIA-IVP公司;GRK标签;RODES公司;ODE积分器;Cosy公司;HSolver公司;切布芬;基准;个体经营者;测试集IVP;STDTST公司;NSDTST公司 引用于: 3文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 VERICOMP:一个比较和评估已验证IVP解决方案的系统。 Zbl 1238.65064号叶卡捷琳娜·奥尔;安德烈亚斯·劳赫 2012 全部的 前5名6位作者引用 1 亚历山大·迪特·桑德雷托,朱利安 1 叶卡捷琳娜·奥尔 1 亚历山大·查普托 1 托马斯·泽特库利奇 1 奥利维·穆利埃 1 安德烈亚斯·劳赫 2篇连载文章中引用 1 计算 1 数值算法 在3个字段中引用 三 数值分析(65-XX) 2 常微分方程(34-XX) 1 系统论;控制(93至XX) 按年份列出的引文