• 荷兰语

  • 引用482篇文章[sw05492]
  • 证明以及实施的证明工具。内置决策程序和定理校准器可以自动建立。。。
  • 在39篇文章中引用[sw19619]
  • 交互式校样编辑自动的 定理 证明系统。。。
  • IsaPlanner公司

  • 引用了29篇文章[sw02047]
  • 用来猜测和证明 定理 自动. 该系统提供了一个交互式跟踪工具。。。
  • ETPS公司

  • 在152篇文章中引用[sw06302]
  • 用于证明 定理一阶和高阶逻辑的交互作用,自动...
  • ε

  • 在39篇文章中引用[sw00244]
  • 不等式和handle和证明几何的定理 自动...
  • 毫升

  • 在502篇文章中引用[sw01218]
  • Milley,哪种多态性系统自动指定大多数表达式的类型而不需要。。。例如在编译器编写中,自动化定理 证明以及正式的验证。(维基百科。。。
  • 吸血鬼

  • 引用232篇文章[sw02918]
  • 吸血鬼8.0,[RV02,Vor05]是一个自动的 定理一阶经典逻辑的证明器。。。结果到内核。定理证明,系统产生可验证的证据。。。
  • 梅塔尔斯基

  • 引用49篇文章[sw00573]
  • 证明 自动梅蒂塔斯基:决议定理已修改prover(Metis)以调用决策过程。。。
  • CVC4

  • 引用98篇文章[sw09485]
  • 自动的 定理可满足模理论(SMT)问题的证明器。它可以用来证明...
  • 核桃

  • 参考12篇文章[sw30122]
  • 自动 定理 证明胡桃木的。胡桃是一个软件包,实现一个机械决策。。。一些特殊的词被称为自动的文字或自动的序列。胡桃是这样写的。。。
  • 萨帕托

  • 参考11篇文章[sw25425]
  • 萨帕托:自动 定理 证明用于谓词抽象细化。反例驱动的抽象细化是自动的... 过程应用于软件自动的 定理无量词一阶逻辑证明器。。。
  • HipSpec公司

  • 参考12篇文章[sw07736]
  • HipSpec是一个用于自动衍生和证明关于函数程序的属性。它使用。。。探索、反例检验与归纳定理 证明. HipSpec公司自动生成一组等式定理... 用作背景理论证明其他用户声明属性。实验结果令人鼓舞。。。
  • 麝香

  • 引用9篇文章[sw06859]
  • 马斯卡德:安自动的 定理 证明数学中使用知识和元知识的系统。作者提出。。。知识库适应证明 定理在点集拓扑和拓扑线性空间中。。。主要思想体现在自动的拓扑线性空间中一些基本事实的证明。。。
  • 符号CDATA

  • 在26篇文章中引用[sw04621]
  • 不同几何形状的基准测试定理 证明方法和证明。自动化这样的测试。。。
  • 电子几何教材

  • 参考7篇文章[sw08745]
  • 结果教科书。通过对外部几何图形进行积分定理校准器和一个外部动态几何软件。。。系统为自动 证明 定理生成动态图形。。。
  • 日本星

  • 引用32篇文章[sw11261]
  • 自动的名为jStar的验证系统定理 证明以及抽象的解释技巧。证明我们。。。
  • 塔克

  • 参考7篇文章[sw09455]
  • 聚焦感应定理 证明. 集中的证据系统提供了减少和组织。。。能够自动 证明许多的定理使用归纳法和归纳法。自从自动的证明程序。。。有几个例子证明 定理完全实现了,有些实现了自动以及其他用户实现的。。。
  • 分析

  • 引用31篇文章[sw10478]
  • 数学家。分析是一个自动的 定理校准器定理在初等分析中。证明人。。。系统到系统证明 定理超出了之前的范围自动的 定理证明人。。。