• 荷兰语

  • 参考文献563篇[sw05492]
  • 证明实施的证明和工具。内置决策程序和定理证明人。。。自动建立许多简单定理一个先知机制允许访问外部程序,例如。。。
  • TPTP

  • 引用384篇文章[sw04143]
  • 自动化测试问题库定理 证明(ATP)系统。TPTP提供。。。概述和简单、明确的参考机制.参考文献和其他有趣的综合列表。。。
  • 团结

  • 引用185篇[sw13461]
  • 耦合态转移系统。机械的将系统映射到第一个系统的方法。。。模型应遵守和证明他们是定理使用正式规范。方法论。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 爱丁堡LCF。A机械化计算逻辑。从LCF到HOL:一段短暂的历史。。。发明LCF方法定理 证明,但他也设计了ML编程语言。。。
  • 核桃

  • 引用25篇文章[sw30122]
  • 自动定理 证明胡桃木的。Walnut是一个软件包,它实现了机械的决定。。。
  • 拉瓦

  • 引用了20篇文章[sw09977]
  • 机制我们用了洞4定理证明了米拉瓦的逻辑,证明...
  • 数学方案

  • 引用9篇文章[sw15109]
  • 接近机械化计算机代数和计算机定理 证明合并时没有。。。目标是设计和实现机械化基于形式框架的数学系统。。。
  • OMRS公司

  • 在39篇文章中引用[sw03359]
  • 查询和操作语言)和OMRS(开放式机械化推理系统)。声称。。。分布式数学服务的通信定理 证明符号计算环境。。。
  • 地质雷达

  • 1条引用[sw26046]
  • 方法表明机械地 证明各种各样的定理在平面几何中重铸它们。。。
  • 反卫星

  • 引用5篇文章[sw06350]
  • 问题是机械化用可满足模理论求解和自动化定理 证明.asasp已经。。。
  • 欧米茄蚂蚁

  • 引用9篇文章[sw19626]
  • 交互式和自动化定理 证明.我们展示$Omega$-ANTS定理建造的验证程序。。。基于agent的指挥建议机制. The定理prover继承了潜在建议的有益属性。。。
  • 反思

  • 参考7篇文章[sw22717]
  • 用于硬件设计和定理 证明本文介绍了函数式程序设计reFLect。。。使用相同的程序编译反映了相同的上下文机制...
  • SymProve3公司

  • 引用2篇文章[sw09242]
  • 代数不等式判定程序。机械的不平等证明一直是一个热点和难点。。。自动化领域定理 证明在本文中,我们提供了一个机械的用于确定。。。
  • 配套元件

  • 参考7篇文章[sw22321]
  • 证明.问题在Boyer-Moore逻辑中陈述,证明机械地... 查过Boyer Moore定理证明人。。。
  • 为什么

  • 1条引用[sw36851]
  • 混合物机械地检查手写校样和自动化定理 证明我们已经实施并验证了。。。
  • 韦尔夫

  • 参考6篇文章[sw13286]
  • 对它进行手术。Vellvm提供了一个机械化LLVM中间表示的形式语义。。。交互式定理证明人。它包括多个操作语义和证明他们之间的关系有助于。。。
  • 检定校准仪

  • 引用3篇文章[sw28795]
  • 机械地经过验证、高效、可靠和完整定理一阶逻辑的证明器。健全和完整。。。一阶逻辑系统形式上是证明,建立在詹姆斯·马格森的形式化基础上。。。
  • 校对

  • 引用3篇文章[sw28654]
  • 猜想。这个机制已与水獭和Prover9一起使用定理证明者,两者。。。交互式形式化与人工辅助证明小理论中的开放猜想。在这个。。。
  • 风暴

  • 1条引用[sw23070]
  • 机制鉴别网的一种,常用于非交流定理 证明...
  • 斯皮迪思

  • 参考6篇文章【sw19455】
  • 图解推理规则,以及证明图解定理它被设计成一个可以插入。。。现有的一般用途定理证明人。这允许无缝的形式验证图表证明。。。Speedith,图解语言,自动机制当推理规则。。。