• 能量6

  • 参考6篇文章[sw18584]
  • 推理任务比固定逻辑校准器. 本文介绍了该系统的设计原则。。。Ergo 6是一种通用的交互式 定理 校准器,与伊莎贝尔相似,但有更好的支持。。。
  • 维尔姆

  • 参考6篇文章[sw13286]
  • 框架是使用Coq构建的交互式 定理 校准器. 它包括多种操作语义。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 系统。前者是一个自动化的定理-校准器对于一阶逻辑和类型理论。。。只包含与证明相关的命令定理 交互地. TPS和ETP在公共Lisp中运行。。。
  • 瘦身

  • 引用了30篇文章[sw15148]
  • 精益是一种新的开源定理 校准器正在微软研究院和卡内基开发。。。弥合交互式和自动化定理通过定位自动化工具和方法证明。。。
  • IsaMorph公司

  • 引用3篇文章[sw05603号]
  • 以伊莎贝尔为特色的Morphix交互式 定理 校准器. 它包含了一个充分工作的伊莎贝尔环境。。。
  • XBarnacle公司

  • 引用4篇文章[sw19622]
  • 交互式XBarnacle的证据批评家。证据批评家扩展了定理 校准器... 证据。但是,扩展自动化定理 校准器蛤蜊通过添加批评者也增加了搜索。。。使…的过程相互作用半自动的定理 校准器更容易驾驭。。。证明这是制造定理 校准器更容易访问,甚至他们的专家用户。。。
  • JProver公司

  • 参考12篇文章[sw09978]
  • 证明交互式校对助理。JProver是一阶直觉主义者定理 校准器它创造了。。。交互式具有表达性构造逻辑的证明助手。这篇论文。。。
  • 地质

  • 1条引用[sw33592]
  • 地质-图形交互式 定理 校准器对于欧几里德几何。计算机数学逻辑领域。。。自动化定理 校准器(ATP)和交互式 定理 校准器(ITP)。这两样东西都很难。。。类似于GeoGebra,它允许用户交互地研究并证明几何参数的性质。。。
  • 克莱德

  • 参考第2条[sw07184]
  • Clide,一个用于交互式 定理 校准器伊莎贝尔。克莱德使用最新的网络技术。。。
  • 卡格默尔

  • 引用44篇文章[sw08799]
  • 交互式读取x86-64机器代码中的eval print loop(REPL)。我们的正确性定理确保。。。在钻孔中进行4定理 校准器...
  • 腔静脉

  • 参考第2条[sw28570]
  • 使用交互式 定理 校准器伊莎贝尔。算法是形式化的。。。
  • 滑雪

  • 参考第2条[sw25433]
  • 直觉逻辑知识)是交互式 定理 校准器致力于程序合成和实现。。。
  • 构造性证明

  • 参考第2条[sw28832]
  • 林奇和帕特森通过使用交互式 定理 校准器伊莎贝尔/霍尔。我们提出了一个形式化。。。
  • 玉米

  • 在34篇文章中引用[sw06752]
  • 构造数学,形式化于定理 校准器可口可乐。背景:有很多数学。。。形式化)看一个人如何能互动用它(咨询,使用,扩展。。。这是建设性的定理 校准器)但主要是因为构造数学有额外的好处。。。
  • 男警察

  • 引用了20篇文章[sw07197]
  • 未修改定理 校准器,在MaLeCoP中,基于学习的选择是在校准器...相互作用它的知识在学习和应用之间可以更精细。这带来了有趣的。。。
  • 竖琴

  • 引用16条[sw26323]
  • 定理 校准器对于一阶逻辑,它将同时用于交互地...
  • 欧米茄蚂蚁

  • 引用9篇文章[sw19626]
  • 结合交互式和自动化定理证明。我们的礼物定理 校准器那个。。。
  • 流浪汉

  • 引用了20篇文章[sw21343]
  • 转换多个自动定理 校准器对于一阶逻辑与等式成。。。或者像演示系统这样的系统交互式演绎系统可以获取原始制作的证据。。。
  • 路易

  • 在10篇文章中引用[sw19627]
  • 自动化定理 校准器的接口对于有效使用(交互式)证据系统。。。