• 毫升

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

  • 341篇参考文献[SW04143]
  • 自动化测试题库定理 证明(ATP)系统。TPTP提供…
  • 水獭

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

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

  • 450篇参考文献[SW054 92]
  • 其中编程环境定理可以是证明以及证明工具的实现。内置决策…
  • 逆合成孔径雷达

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

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

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

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

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

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

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

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

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

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

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

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

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

  • 39篇参考文献[SW03359]
  • 分布式数学服务的通信定理 证明符号计算环境…