国际数字电视 swMATH ID: 21371 软件作者: Trac,Steven;尤里·普齐斯;杰夫·萨特克利夫 描述: 交互式派生查看器。本工作描述了交互式派生查看器(IDV)工具,用于以TPTP语言编写的派生的图形呈现。IDV提供了一个交互式界面,允许用户快速查看派生的各种功能。IDV的一个特别新颖的功能是它能够通过识别派生中有趣的引理并隐藏不太有趣的中间公式来提供派生的概要。IDV是作为SystemOnTPTP接口的一部分在线部署的,因此可以通过任何web浏览器随时访问。 主页: http://www.sciencedirect.com/science/article/pii/S1571066107001739 关键词: 派生查看器;证明大纲 相关软件: TPTP公司;E定理证明器;OMDoc公司;SPASS公司;VAMPIRE公司;水獭;ILTP公司;常春藤;Flyspeck飞点;精益CoP;大锤;谚语9;伊莎贝尔/HOL;ACL2型;马拉雷亚;CSPLib数据库;SMT-LIB公司;MPTP 0.2;SATLIB公司;霸王龙 引用于: 7文件 全部的 前5名11位作者引用 5 杰夫·萨特克利夫 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 乍得·布朗·爱德华 1 Farmer,William M。 1 奥林·格里戈洛夫。 1 Jakubův,简 1 塞萨里·卡利西克 1 尤里·普齐斯 1 斯蒂芬·舒尔茨 1 泰丝,弗兰克 1 史蒂文·特拉克 连载1篇 2 自动推理杂志 在1个字段中引用 7 计算机科学(68至XX) 按年份列出的引文