• ETPS公司

  • 第153条引用[sw06302]
  • 仅包含与相关的命令证明 定理 交互地. TPS和ETP在公共Lisp中运行。。。在窗户下面。自动化的潜在应用定理 证明包括硬件和软件验证,部分自动化。。。用于证明 定理一阶和高阶逻辑交互地,自动。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 定理 证明支持两者的系统交互式证据开发和某种程度的自动化已经成为。。。由最先进的交互式 定理 证明系统和适当的水平。。。Isar/VM解释程序。与现有的陈述性定理 证明系统(如Mizar),Isar避免了几个缺点。。。广泛的自动证明方法。交互式证据开发也直接得到支持。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 仅包含与相关的命令证明 定理 交互地. TPS和ETP在公共Lisp中运行。。。在窗户下面。自动化的潜在应用定理 证明包括硬件和软件验证,部分自动化。。。用于证明 定理一阶和高阶逻辑交互地,自动。。。
  • 米兹3

  • 参考11篇文章[sw18631]
  • 程序和声明风格交互式 定理 证明. 我们建议综合考虑。。。校样交互式 定理 证明:程序样式(其中校对是命令的脚本。。。在任何程序之上实现交互式 定理无论它的结构和逻辑。。。
  • 瘦身

  • 引用28篇文章[sw15148]
  • 弥合交互式和自动化定理 证明,通过定位自动化工具和方法。。。
  • 在39篇文章中引用[sw19619]
  • 转动交互式校样编辑成全自动定理 证明系统。。。
  • 雅典娜

  • 在10篇文章中引用[sw09967]
  • 程序设计语言和交互式 定理 证明环境融为一体。作为一种编程语言。。。
  • IsaPlanner公司

  • 引用了29篇文章[sw02047]
  • 校样规划框架交互式 定理伊莎贝尔。它便于编码。。。猜想和证明 定理自动地。系统提供交互式跟踪工具,允许。。。
  • JProver公司

  • 参考12篇文章[sw09978]
  • JProver:基于集成连接定理 证明进入之内交互式校对助理。JProver是一级。。。
  • 阿贝拉

  • 引用49篇文章[sw09461]
  • 阿贝拉交互式 定理校准仪(系统描述)。阿贝拉[3]是一个交互式推理系统。。。阿贝拉已经习惯了证明λ-微积分的正规化性质。。。Abella的基础,概述了定理 证明它支持并最终描述。。。
  • 乌贼

  • 参考6篇文章[sw21585]
  • 模型推理与交互式 定理 证明. 现有的证明语料库是用状态建模的。。。
  • 校对员

  • 引用4篇文章【sw30422】
  • 协同定理 证明. 校对员聚集在一起交互式 定理 证明技术与力量。。。
  • 欧米茄蚂蚁

  • 引用9篇文章[sw19626]
  • 结合的开放式方法交互式和自动化定理 证明. 我们展示$Omega$-ANTS定理...
  • 笑话

  • 参考6篇文章[sw32377]
  • 想象一下交互式 定理-证明如果你确定。。。
  • OMRS公司

  • 在39篇文章中引用[SW039号文件]
  • 朝着相互作用在OMRS中,提供了一个具体的语法。。。分布式数学服务的通信定理 证明符号计算环境。。。
  • 霍尔夫

  • 引用3篇文章[sw25266]
  • HOLCF是一个交互式 定理 证明数学领域的理论应用于。。。
  • 霍尔88

  • 引用2篇文章[sw19615]
  • 系统是一个交互式 定理 证明在高阶逻辑中。它最。。。
  • 自动订阅

  • 引用2篇文章[sw22669]
  • 平行项和替换项。交互式 定理 证明. 用绑定器来推理语法。。。