• Isar

  • 引用138篇文章[sw04599]
  • 这类半潜式平台的例子-自动化 推理系统包括Coq、PVS、HOL和Isabelle。。。矛盾的是,现有的-自动化 推理系统有足够的基本概念。。。只是维护)。可理解的-自动化 推理(Isar)可读正式证明文件集的方法。。。并集成了广泛的自动化证明方法。支持交互式证据开发。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 形成一个蓬勃发展的计算机辅助模式推理. 过去的许多发展。。。影响自动化 推理一直是多样而深刻的。。。
  • 数量

  • 在146篇文章中引用[sw07543]
  • 逻辑及其定理证明者”[J。自动.推理4,第2期,117-172页(1988年)。然而。。。
  • RRL公司

  • 引用了55篇文章[SW904号文件]
  • 试验环境自动化 推理基于重写技术的等式逻辑算法。。。数学难题自动化 推理文学和研究工具。。。
  • 马拉雷亚

  • 引用了43篇文章[sw10278]
  • 软化区自动化 推理在大理论中。机器学习者自动化... 迭代组合演绎的简单元系统自动化 推理工具(现在E和SPASS。。。
  • GEX公司

  • 参考33篇文章[sw09961]
  • 各种数学概念。作为一个自动化 推理软件,我们可以建立动态逻辑模型。。。最有效的几何方法推理在过去的二十年里,包括。。。角度法。使用这些方法,用户可以自动化发现新的定理,证明几何。。。
  • 人力资源

  • 引用了29篇文章[sw10392]
  • 人力资源的应用自动化 推理包括约束满足问题的约束生成。。。引理的生成自动化定理证明,以及基准定理的产生。。。
  • 梅塔普利

  • 在26篇文章中引用[sw04624]
  • 支持交互式证明和自动化 推理. MetaPRL的一个主要特征。。。
  • 马修网

  • 引用18条[sw10293]
  • 用于分布式数学的MathWeb软件总线推理.自动化 推理系统已经达到了高度。。。过去十年。很多推理任务可以委托给自动化定理证明器。。。不是自己的开发者。这个原因因为这似乎是。。。
  • 卫星卫星

  • 引用21篇文章[sw13117]
  • RSat由加州大学洛杉矶分校开发自动化 推理组。。。
  • 霍利汉

  • 引用了20篇文章[sw11553]
  • 这项服务使用了几个自动化 推理系统结合多种前提选择方法训练。。。
  • 萨米亚姆

  • 在14篇文章中引用[sw29886]
  • 网络,由自动化 推理加州大学洛杉矶分校阿德南·达维奇教授小组。。。
  • 闪闪发光

  • 在14篇文章中引用[sw09803]
  • 基于延迟图重写。这允许推理在节目中发生。。。使用不同的概念。第二,火花支撑自动化 推理. 琐碎的目标会自动被丢弃。。。
  • COQ锤

  • 在14篇文章中引用[sw29396]
  • CoqHammer是一个通用的自动化 推理Coq锤击工具。它结合了学习。。。问题到逻辑的转换自动化系统和重建的成功发现。。。
  • SRASS公司

  • 参考12篇文章[sw21370]
  • 由基本的传统方法单独解决自动化 推理系统。。。
  • 真有趣

  • 在10篇文章中引用[sw22187]
  • VeriFun是一个推理关于用简单程序编写的语句验证系统。。。易于使用的教学系统自动化 推理类似的主题,以及类似的语义学。。。
  • ETPS公司

  • 在152篇文章中引用[sw06302]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展。。。这些学科,专家系统原因人工智能的某些方面。。。
  • 光环

  • 引用9篇文章[sw07015]
  • 定理证明者:光环的化身(自动化 推理助理。。。
  • MMP/几何计

  • 引用13篇文章[sw00584]
  • MMP/Geometer–用于自动化几何的推理. 我们介绍了一个开发的软件包MMP/Geometer。。。