VERICOMP公司 swMATH ID: 6149 软件作者： 叶卡捷琳娜·奥尔；安德烈亚斯·劳赫 描述： VERICOMP是一个用于比较和测试初值问题验证解算器的系统。经过验证的解算器生成的数值集经过数学证明包含精确解。 主页： http://link.springer.com/article/10.1007%2Fs00607-011-0178-4 关键词： 初值问题求解器;经验证的方法;推荐系统;比较系统学 相关软件： 瓦伦西亚;ValEncIA-IVP公司;GRK标签;RODES公司;ODE积分器;舒适的;HSolver公司;切布冯;基准;RSOLVER公司;测试集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） 按年份列出的引文