• 霍尔

  • 465篇参考文献[SW054 92]
  • 内置决策程序定理 进步者可以自动地建立许多简单定理. 神谕…
  • 吸血鬼

  • 220篇参考文献[SW0918]
  • 吸血鬼8,[RV02,Vo05]是一个自动 定理 证明者对于一阶经典逻辑…
  • 佩斯卡

  • 116篇参考文献[SW13664 ]
  • 证明编辑器和作为自动 定理 证明者. 在PeSCa中构建的证据都可以…
  • 大锤

  • 112篇参考文献[SW07047 ]
  • 利用外部一阶的工具自动 定理 进步者(ATPS)履行交互证明义务…
  • CVC4

  • 94篇参考文献[SW0985]
  • CVC4是一种高效的开源软件自动 定理 证明者对于可满足性模理论(SMT)问题…
  • CVC3

  • 84篇参考文献[ SW048 86]
  • CVC3是一个自动 定理 证明者对于Satisfiability Modulo理论(SMT)问题。CVC3…
  • 梅蒂斯

  • 51篇参考文献[ SW044 39 ]
  • 梅蒂斯是自动 定理 证明者对于METIS具有相等特征的一阶逻辑…
  • 分析学

  • 31篇参考文献[ SW1078]
  • 证明者对于Mathematica。分析是一种自动 定理 证明者定理在初步分析中…证明者是用Mathematica语言编写的,并在Mathematica环境中运行。目标…超出以前的范围自动 定理 进步者. 这个定理 证明者也能…
  • 大地测量学

  • 23篇参考文献[SW06216]
  • 它集成了动态几何软件(DGS),自动 定理 进步者(ATP)和几何存储库…
  • 塞塔

  • 40篇参考文献[ SW065 84]
  • 使用CETA的终止证明。有很多自动证明期限重写的工具…本文使用定理 证明者伊莎贝尔/霍尔自动地证明终止证明。对此…
  • 醪液

  • 19篇参考文献[SW08206]
  • 大锤的机器学习。大锤集成自动 定理 进步者在证明助理伊莎贝尔/霍尔…
  • 萨帕托

  • 11篇参考文献[SW25425]
  • 过程应用于软件自动 定理 证明者对于无量词的一阶逻辑…快速、轻量级的报告自动 定理 证明者我们已经建立了ZAPATO…
  • 令人信服的

  • 14篇参考文献[SW01300 ]
  • SLAM和ESC/Java依赖于自动 定理 进步者. 现有的定理 进步者,比如简化…
  • 梅蒂尔茨基

  • 44篇参考文献[SW0533]
  • 证明自动地梅塔尔茨基:一项决议定理 证明者(METIS)修改以调用决策程序…
  • 电子男性

  • 8篇参考文献[SW15190]
  • 对成功的重要自动 定理 进步者. E男性是一个元系统,…
  • ARA

  • 5篇参考文献[SW08504]
  • 系统描述:ARA-AN自动 定理 证明者关系代数。ARA是自动 定理