• 霍尔

  • 465篇参考文献[SW054 92]
  • 证明以及证明工具的实现。内置决策程序定理进步者…自动建立许多简单定理. 神谕机制提供对外部程序的访问,例如…
  • TPTP

  • 363篇参考文献[SW04143]
  • 自动化测试题库定理 证明(ATP)系统。TPTP提供…概述和简单、明确的参考文献机制. 参考文献和其他有趣的综合清单…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 耦合状态转移系统。机械将过渡系统映射到…的方法。模型应服从和证明它们作为定理使用形式化规范。方法论…
  • 低周疲劳寿命

  • 157篇参考文献[SW08360]
  • 爱丁堡LCF。机械化的计算逻辑。从LCF到HOL:一个简短的历史…发明LCF方法定理 证明,但他还设计了ML编程语言…
  • 拉瓦

  • 18篇参考文献[ SW099 77 ]
  • 机制. 我们已经使用了HOL4。定理证明者将米拉瓦的逻辑形式化,证明
  • 数学方案

  • 8篇参考文献[SW15109]
  • 接近机械化的计算机代数与计算机的数学定理 证明没有……合并目标是设计和实现一个机械化的基于形式化框架的数学系统…
  • 奥姆斯

  • 39篇参考文献[SW03359]
  • 查询和操作语言(ORM)和OMRS(开放式)机械化的推理系统)。索赔是……分布式数学服务的通信定理 证明符号计算环境…
  • 核桃

  • 10篇参考文献[SW30122]
  • 自动定理 证明在沃尔纳特。核桃是一个实现软件的软件包。机械决定…
  • 地质公园

  • 1篇参考文献[SW26046]
  • 方法表明机械地 证明各种定理在平面几何中重铸它们…
  • 反映

  • 7篇参考文献[SW21717]
  • 硬件设计用函数语言定理 证明. 本文介绍了反射式、功能性编程…使用相同上下文编译反射程序机制
  • SimPREE3

  • 2篇参考文献[SW09242]
  • 代数不等式决策程序机械不平等证明一直是一个热点和难点点…自动化领域定理 证明. 在本文中,我们提供了一个机械确定算法…
  • 欧米伽蚂蚁

  • 8篇参考文献[SW19626]
  • 交互式自动化定理 证明. 我们提出$ Omega $蚂蚁定理建造的证明者…基于Agent的命令建议机制. 这个定理证明者从潜在的建议中继承有益的特性…
  • 工具箱

  • 7篇参考文献[SW223 21]
  • 证明. 这个问题在Boyer Moore逻辑中给出,证明是机械地用Boyer Moore检查定理证明者…
  • ASASP

  • 3篇参考文献[SW06350]
  • 问题是机械化的Satisfiability Modulo理论求解与自动化定理 证明. ASASP已经…
  • 韦尔夫姆

  • 6篇参考文献[SW1386]
  • 那就是操作。Velvm提供了一个机械化的LLVM中间表示的形式语义互动定理证明者它包括多个操作语义和证明他们之间的关系以促进…
  • 校对表

  • 3篇参考文献[SW28 64]
  • 猜想。机制已被用于水獭和昆虫定理两个…交互形式化与人类辅助证明关于小理论的开放猜想。在这…
  • 风暴

  • 1篇参考文献[SW23070]
  • 机制鉴别网,常用于非交流定理 证明
  • 帕台农神庙

  • 8篇参考文献[SW25434 ]
  • 推论机制选择LoVLAN模型消除程序。定理证明者…并行性在自动化中的作用定理 证明为了将来的研究…
  • 飞快的

  • 5篇参考文献[SW19455 ]
  • 图解推理规则,以及证明图解的定理. 它被设计成一个程序…进入现有的通用目的定理进步者。这允许无缝的形式验证的图解证明…快速、图解语言、自动机制在推理规则时绘制图表。
  • 验证证明器

  • 2篇参考文献[ SW28 795 ]
  • 机械地验证、高效、健全、完整定理一阶逻辑的证明器健全和完整…一阶逻辑系统是正式的证明建立James Margetson的形式化…