• 毫升

• 491篇参考文献[SW01218]
• 如编译器编写，自动化定理 证明形式化验证。（维基百科…

• TPTP

• 364篇参考文献[SW04143]
• 自动化测试题库定理 证明（ATP）系统。TPTP提供…

• 水獭

• 312篇参考文献[SW02904]
• 扣除系统水獭设计证明 定理用相等的一阶逻辑陈述…

• 电除尘器

• 151篇参考文献[SW06302]
• ETPS分别是定理 证明制度与教育定理 证明系统前者…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…在Windows下。自动化的潜在应用定理 证明包括硬件和软件验证，部分自动化…智力。TPS可用于证明 定理第一和高阶逻辑交互地…

• 霍尔

• 470篇参考文献[SW054 92]
• 其中编程环境定理可以是证明以及证明工具的实现。内置决策…

• 逆合成孔径雷达

• 135篇参考文献[SW04999 ]
• 定理 证明系统支持交互式证明开发和一定程度的自动化已经成为…最先进的交互定理 证明系统和适当的抽象级别…伊萨尔河/VM解释器。与现有声明性相比定理 证明系统（如Mizar），Isar避免了几个缺点…进入伊莎贝尔/纯元逻辑实现。理论，定理证明程序等可互换使用。

• SMT-LIB

• 176篇参考文献[SW04103]
• TPTP库已完成定理 证明或者SATLIB库最初已经完成了…

• 低周疲劳寿命

• 157篇参考文献[SW08360]
• 发明LCF方法定理 证明，但他还设计了ML编程语言…

• 吸血鬼

• 221篇参考文献[SW0918]
• 结果到内核。当A定理是证明这个系统产生了一个可验证的证据…

• Obj3

• 137篇参考文献[SW05370]
• 软件设计与规范，快速成型，定理 证明用户界面设计和硬件验证。

• TPS

• 70篇参考文献[SW0933]
• ETPS分别是定理 证明制度与教育定理 证明系统前者…只包含相关的命令证明 定理交互地。TPS和ETPS在公共LISP中运行…在Windows下。自动化的潜在应用定理 证明包括硬件和软件验证，部分自动化…智力。TPS可用于证明 定理第一和高阶逻辑交互地…

• 团结

• 173篇参考文献[SW13461 ]
• 模型应服从和证明它们作为定理使用形式化规范。方法论…

• 马尔萨斯

• 42篇参考文献[SW1078]
• 系统以周期为单位工作定理 证明其次是机器学习从成功的证明，使用…下一个可用公理定理 证明周期。虽然元系统很简单…

• MPTP 0.2

• 43篇参考文献[SW02589]
• MIZAR问题的版本定理 证明（MPTP）系统和首次获得的实验结果…可用于当前一阶自动化定理提升者（ATPS）（反之亦然）已经完成。关于每第五个非算术定理是证明在完全自主模式下…

• 甘道夫

• 33篇参考文献[SW10133]
• 甘道夫是自动化的定理 证明（ATP）系统。IT证明 定理逻辑公式化。因为…像甘道夫可以这样的系统证明 定理在数学和验证复杂系统等…

• 阿贝拉

• 46篇参考文献[SW09461 ]
• 阿贝拉互动定理证明者（系统描述）。AbELA（3）是一个用于推理的交互系统。其他的东西，阿贝拉已经习惯了证明α-演算的正规化性质Abella，勾勒出风格定理 证明它支持并最终描述了一些…

• Z/EVS

• 42篇参考文献[SW10262]
• CZT规范定理 证明以及验证能力。Z/EVES Eclipse提供了一个现代环境…

• HR

• 29篇参考文献[SW1092]
• 这些成为定理如果他们是证明，非定理如果被证明是错误的。与张相似…使用水獭定理证明者证明猜想。在水獭和梅斯的领域…有效，人力资源可以产生大量的定理自动测试定理（ATPs）自动引理的生成定理 证明以及基准的产生定理…

• 戴康

• 41篇参考文献[SW04319]
• 预测组件集成中的不兼容性，自动化定理 证明修复不一致的数据结构，检查…

• GEX

• 32篇参考文献[SW09961]
• 动态图形绘制与自动几何定理 证明发现。作为一个动态几何软件…通过这些方法，用户可以自动化。证明几何定理发现新的特性定理…