• 辅酶Q

  • 1721篇参考文献[SW0161]
  • 机器检查的半交互式开发校样. 典型的应用包括编程语言的形式化…4色定理的形式化建设性的奈梅亨数学与教学
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 校样翻译成自然演绎校样建设自然演绎校样翻译自然演绎校样其中不含削减扩张校样并解决高阶的统一问题。公式编辑器,方便建设其他已知的新公式…TPS互动设施建设自然演绎校样已经用了这个名字…
  • 佩斯卡

  • 116篇参考文献[SW13664 ]
  • 有助于施工属于校样在连续演算中。它同时工作…自动定理证明器校样 构建在Pesca都可以看到在终端…
  • TPS

  • 70篇参考文献[SW0933]
  • 校样翻译成自然演绎校样建设自然演绎校样翻译自然演绎校样其中不含削减扩张校样并解决高阶的统一问题。公式编辑器,方便建设其他已知的新公式…
  • MPTP 0.2

  • 43篇参考文献[SW02589]
  • 多个MiZar的翻译证明 建构进入TPTP形式主义。这个校样使用。。。
  • 发现

  • 80篇参考文献[SW21614]
  • 证明一个程序:查找。证明给出了算法的正确性…介绍了系统技术建设程序证明在编码过程中…
  • 阿加达

  • 168篇参考文献[SW0969]
  • 检查校样. AGDA是基于直觉型理论的基础系统。建设性的数学它与其他有很多相似之处。证明基于依赖类型的助手,例如…
  • 雷沃

  • 68篇参考文献[SW28 907]
  • 重点放在终止机械化方面。证明. 的确,ReVE…递归分解排序建构终止证明从演示的一步一步…
  • 分析学

  • 31篇参考文献[ SW1078]
  • 它使用的主要技术建造 校样. 我们试着把这张纸…
  • 超验

  • 23篇参考文献[SW22172]
  • 分析推理原理证明 施工由一个文本和一个Macintosh软件组成…关注信息内容校样而不是句子的句法结构…
  • 香车叶草

  • 43篇参考文献[SW19568 ]
  • 在这个范围内,一个完整的证明对象是构建在运行时。阅读更多有关…
  • 乐高

  • 106篇参考文献[SW09685 ]
  • 乐高是互动的证明开发系统证明由Randy Pollack设计和实施的助手…爱丁堡逻辑框架(LF),微积分结构(CC),广义演算结构乐高是一个强大的交互工具证明自然演绎风格的发展…
  • 构造体

  • 9篇参考文献[SW28 905]
  • 系统是一个实验工具建设 校样一阶逻辑公式…设计互动证明 施工比以前容易证明工具,通过维护多个…
  • 杰夫尔

  • 12篇参考文献[SW10334 ]
  • JFLAP允许一个实验施工 校样从一种形式到另一种形式,这样…
  • 大地测量学

  • 23篇参考文献[SW06216]
  • 几何知识库结构数字和校样. GeoThms用户可以很容易地使用/浏览现有的…具有不断增长的几何体的系统结构和正式证明的几何定理。我们相信…
  • 团结

  • 173篇参考文献[SW13461 ]
  • 统一——计算模型、规范语言和证明Chandy和米斯拉定义的系统…描述一个基于统一的方法论施工仿真模型的分析和执行。
  • MACE4

  • 193篇参考文献[SW06905]
  • 域上的公式是构建. 结果是一组接地子句…定理证明器,证明者搜索校样和MACE4寻找对抗模型…
  • GF

  • 32篇参考文献[SW13667 ]
  • 语义条件,如井性和证明义务。多语言语法,其中一个抽象语法…语法树是构建在交互式编辑器中,类似于证明编辑为基础的…
  • 竖琴

  • 15篇参考文献[SW26323 ]
  • 人工智能应用。因此,竖琴的施工受“自然”的设计目标的影响…一种正规形式,并结合了证明显式冷凝过程…陈述,声明性地制定启发式建造并传达它的校样以一种意气相投的形式…
  • 精益

  • 22篇参考文献[SW15148]
  • 用户交互与施工完全指定公理的校样. 精益是一个正在进行的…