VSDITLU公司 swMATH ID: 8725 软件作者： 亚当斯，A.A。；戈特利布森，H。；Linton，S.A.公司。；美国马丁。 描述： VSDITLU：可验证的符号定积分表查找。我们提出了一种可验证的符号定积分表查找：一种系统，它将查询与可验证表中的条目相匹配，该查询包括带有参数和边条件的定积分，并使用对定理证明器PVS中实数的事实库的调用来帮助将表条目转换为答案。我们的系统能够在计算机代数系统中实现的标准技术失败的情况下获得正确的答案。我们给出了这样一个系统的完整模型，并描述了我们的原型实现，展示了这样一种系统的有效性：例如，在计算机代数系统无法获得正确答案的情况下，原型能够获得正确答案。我们扩展了Fateman的基于web的表，包括集成的参数限制和附带条件的查询。 主页： http://dl.acm.org/citation.cfm？id=753630 关键词： 符号定积分表查找 相关软件： PVS公司;自动数学;枫树;分析;OMRS公司;AXIOM公司;MB基础;测试程序集;Matlab公司;梅蒂塔斯基;Flyspeck飞点;Simulink公司;伊莎贝尔/HOL;QEPCAD公司;重新记录;繁荣;枣灰蝶属;数学软件;ETPS公司;IMPS公司 引用于： 9文件 全部的 前5名13位作者引用 4 汉内·戈特利布森 三 乌苏拉·马丁 2 安德鲁·亚当斯（Andrew A.Adams）。 2 安德烈亚斯·弗兰克 2 迈克尔·科尔哈斯 2 沃尔克·索尔格 1 阿杰·马赛尔·科恩 1 露丝·哈迪 1 汤姆·凯尔西 1 奥尔加·莱特福特 1 斯蒂芬·A·林顿。 1 斯科特·默里。 1 马丁·波莱特 2篇连载文章中引用 2 符号计算杂志 1 计算的形式方面 在4个字段中引用 9 计算机科学（68至XX） 1 群论与推广（20-XX） 1 实际功能（26年X月X日） 1 系统论；控制（93至XX） 按年份列出的引文