• 霍尔灯

  • 引用299篇文章[sw06580]
  • 荷兰语 :概述。荷兰语 是经典高阶的交互式证明助手。。。迈克·戈登原著的简体版本荷兰语系统。这个家族中的定理证明者。。。实现和交互语言;在里面荷兰语 这是客观的CAML(OCaml)。谢谢。。。早期的可编程性荷兰语系统,荷兰语 其特点是简洁的设计。。。
  • 苍蝇

  • 参考文献118篇[sw10277]
  • 显示Flyspeck正式开发(在荷兰语 )还有Flyspeck非正式数学文本。。。通用且易于适应荷兰语 案例。。。
  • CVC Lite公司

  • 引用了55篇文章[sw07581]
  • 定理证明者:一个结合荷兰语-CVC Lite这篇文章。。。在中定义派生规则荷兰语-,它调用CVC Lite并翻译。。。结果证明对象返回到荷兰语-. 因此,我们获得了高度信任。。。也从根本上扩展了荷兰语-...
  • 乔丹

  • 引用63篇文章[sw23624]
  • 曲线定理(60000行荷兰语 校对脚本,作为一个库分发。。。荷兰语 系统。。。
  • 霍利汉

  • 参考22篇文章[sw11553]
  • Hammer:在线ATP服务荷兰语 .荷兰语(y) Hammer是一个在线AI/ATP服务。。。计算机可理解)数学编码在荷兰语 系统。该服务允许用户。。。任意形式开发(项目)基于荷兰语 以及攻击那些武断的推测。。。
  • 捣碎

  • 引用23条[sw08206]
  • 米扎尔和荷兰语 ,提供了许多增强功能。MaSh的表现优于。。。
  • 进程

  • 参考12篇文章[sw10191]
  • PRocH:证据重建荷兰语 . PRocH是一个证据重建工具,进口。。。荷兰语 ATPs对最近发展的翻译的证明荷兰语 ... 通过重新播放获得荷兰语逻辑详细的推理步骤记录。。。TPTP)校样,使用多个内部荷兰语 推理方法。这些方法包括快速变量。。。
  • 米兹3

  • 参考11篇文章[sw18631]
  • 叫做miz3,在荷兰语 交互式定理证明器。声明性语言。。。策略与正式图书馆荷兰语 ,因此具有“工业实力”。我们的方法。。。
  • 开放理论

  • 引用15篇文章[sw32625]
  • 高阶逻辑的实现,包括荷兰语 ,HOL4和ProofPower。希望。。。
  • HOL轻量化

  • 引用3篇文章[sw28656]
  • 荷兰语 量化宽松。我们感兴趣的算法,操纵数学表达式在数学上有意义。。。报价和评估荷兰语 为了证明全面质量管理的可实施性和效益。。。助理。生成的系统称为荷兰语 量化宽松。在这里我们记录设计。。。荷兰语 量化宽松和需要克服的挑战。最终实现。。。
  • 战术家

  • 引用5篇文章[sw17591]
  • 帮助您维护和/或理解荷兰语 校样脚本。它的主要功能是重构。。。
  • 孔2P

  • 引用4篇文章[sw21180]
  • 荷兰语-. 类型推理是半自动的,有些类型。。。
  • 超验.ml

  • 引用2篇文章[sw38879]
  • 荷兰语 超验:复杂的超验和它们真正的对应物。。。
  • 四元数

  • 1条引用[sw38038]
  • 这个理论的灵感来自荷兰语 四元数的发展,但随后。。。必须在荷兰语 版本。发展以几何。。。
  • 臀部凸轮

  • 1条引用[sw17592]
  • HipCam:用于记录hipfroces的工具荷兰语-在网络浏览器中可视化。。。
  • 工作流程

  • 1条引用[sw21519]
  • 证明助手中的过程范式荷兰语 . 这使得抽象过程的规范化。。。