• 荷兰语

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

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

  • 引用185篇[sw13461]
  • 耦合态转移系统。机械的将过渡系统首先映射到…模型的方法应遵循和证明他们是定理使用正式规范。方法论。。。
  • 核桃

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

  • 引用158篇文章[sw08360]
  • 爱丁堡LCF。A机械化计算逻辑。从LCF到HOL:一个简短的历史…发明LCF方法定理 证明,但他也设计了ML编程语言。。。
  • 拉瓦

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

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

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

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

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

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

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

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

  • 参考7篇文章[sw22321]
  • 证明.问题在Boyer-Moore逻辑中陈述,证明机械地…和博伊尔·摩尔核对过了定理证明人。。。
  • 为什么

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

  • 引用4篇文章[sw28654]
  • 猜想。这个机制已与水獭和Prover9一起使用定理证明者,既有……交互形式化,也有人为辅助的证明小理论中的开放猜想。在这个。。。
  • 维尔姆

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

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

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

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