特克顿 swMATH ID: 28905 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 描述： Tecton证明系统概述。Tecton证明系统是一种实验工具，用于构造一阶逻辑公式的证明和使用霍尔公理证明形式主义中的公式表示的程序规范的证明。它的设计目的是通过在内部以一种称为证明森林的结构化形式保持多次证明尝试，使交互式证明构造比使用以前的证明工具更容易；使用表格格式、图形表示和超文本链接的组合，以易于理解的形式显示它们；通过重写、归纳、案例分析和泛化推理机制，以及线性算术决策过程，实现了大量证明的自动化。该系统的进一步开发计划作为总体框架的一部分，旨在支持构建通用软件和硬件组件库所需的抽象和专门化。 主页： https://www.sciencedirect.com/science/article/pii/0304397594901929 相关软件： RRL公司;NQTHM公司;断言;Nuprl公司;落叶松;STL公司;剑桥LCF;乐高;PVS公司;BGL公司;促进;增强C++库;STAPL公司;CGAL公司;莫德;BCCL公司;塞西尔;阿达95;利迪亚;RDL公司 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Tecton证明系统概述。 Zbl 0938.68823号Kapur博士。;X·聂。;D.R.穆瑟。 1994 全部的 前5名8位作者引用 2 迪帕克·卡普尔 1 亚历山德罗·阿曼多 1 大卫·穆瑟。 1 西尔维奥·兰伊斯 1 马丁·西蒙斯 1 维多利亚州斯塔夫里杜 1 马哈德万·苏布拉曼尼亚姆 1 马蒂亚斯·韦伯 5篇连载文章中引用 1 理论计算机科学 1 符号计算杂志 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 在3个字段中引用 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文