• 霍尔

  • 465篇参考文献[SW054 92]
  • 证明以及证明工具的实现。内置决策程序定理万能罐头自动地建立…
  • 39篇参考文献[SW19619]
  • 交互式证明编辑器到一个完整的自动 定理 证明系统
  • 规划师

  • 29篇参考文献[SW02047 ]
  • 用于猜测和证明 定理 自动地. 该系统提供了一个交互式跟踪工具,…
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 用于证明 定理第一和高阶逻辑交互作用,自动地
  • ε

  • 38篇参考文献[SW0244]
  • 不等式和句柄证明几何定理 自动地
  • 毫升

  • 491篇参考文献[SW01218]
  • 多态欣德利-米尔纳型系统自动地分配大多数表达式的类型而不需要…如编译器编写,自动化定理 证明形式化验证。(维基百科…
  • 吸血鬼

  • 220篇参考文献[SW0918]
  • 吸血鬼8,[RV02,Vo05]是一个自动 定理证明一阶经典逻辑…结果到内核。当A定理证明这个系统产生了一个可验证的证据…
  • 梅蒂尔茨基

  • 44篇参考文献[SW0533]
  • 证明 自动地梅塔尔茨基:一项决议定理修正器(METIS)修改为决策程序…
  • TPS

  • 70篇参考文献[SW0933]
  • 用于证明 定理第一和高阶逻辑交互作用,自动地
  • CVC4

  • 94篇参考文献[SW0985]
  • 自动 定理证明了可满足性模理论(SMT)问题。它可以用来证明
  • 萨帕托

  • 11篇参考文献[SW25425]
  • 萨帕托:自动 定理 证明谓词抽象求精。反例驱动的抽象精化是自动过程应用于软件自动 定理证明无量词一阶逻辑…
  • 核桃

  • 10篇参考文献[SW30122]
  • 自动 定理 证明在沃尔纳特。核桃是一个实现机械决策的软件包。一些特殊的词称为自动单词或自动序列。核桃是写的…
  • HIPSPEC

  • 12篇参考文献[SW0736]
  • HIPSPEC是一个系统。自动地派生和证明有关功能程序的属性。它使用…探索、反例测试与归纳定理 证明. HIPSPEC自动地生成一组等式定理用作背景理论证明附加用户声明的属性。实验结果令人鼓舞。
  • 穆斯卡特

  • 9篇参考文献[SW068 59]
  • 马斯卡特自动 定理 证明在数学中使用知识和元知识的系统。作者提出…知识库适用于证明 定理点集拓扑和拓扑线性空间…主要思想以自动关于拓扑线性空间的一些基本事实的证明
  • 符号数据

  • 25篇参考文献[SW04621]
  • 不同几何图形的标杆定位定理 证明途径与方法自动化这样的测试…
  • 电子几何教材

  • 7篇参考文献[SW0875]
  • 结果教科书。通过整合外部几何定理证明器和外部动态几何软件…系统提供了设备自动地 证明 定理并在生成的动态图形生成…
  • 杰斯塔

  • 32篇参考文献[SW11261 ]
  • 自动验证系统,称为JSTAR,它结合定理 证明抽象的解释技巧。我们证明…
  • 塔克

  • 7篇参考文献[SW0945 5]
  • 聚焦归纳法定理 证明. 集中证明系统为减少和构造…提供了手段。能够自动地 证明许多的定理采用诱导和共诱导。自从自动证明程序…举几个例子证明 定理一些完全实现自动地和其他实现与用户…
  • 分析学

  • 31篇参考文献[ SW1078]
  • Mathematica。分析是一种自动 定理证明者定理初步分析。证明人…系统到证明 定理超出了以前的范围自动 定理进步者…