• 马拉雷亚

  • 引用了43篇文章[sw10278]
  • 马拉雷亚:一个元系统自动化 推理在里面 理论. 机器学习者自动化... 迭代组合演绎的简单元系统自动化 推理工具(现在E和SPASS。。。模式)。其用途大的 理论,即在大的问题数量。。。
  • 人力资源

  • 引用了29篇文章[sw10392]
  • 以数学家哈代和拉马努扬命名——表演理论数学领域的形成。它起作用了。。。有效,人力资源可以生产大的检验定理数自动化定理证明器(ATP。。。人力资源的应用自动化 推理包括约束满足问题的约束生成。。。
  • 国歌

  • 引用2篇文章[sw30423]
  • 赞歌:把外国佬的程序转变成一级程序理论(初步报告)。在最近的一篇论文中。。。程序完成扩展到大的输入语言中的程序类。。。地滚球。我们想自动化生成和简化完井公式的过程。。。此软件,结合自动化 推理工具,以验证程序是否正确。。。
  • 囤积

  • 引用2篇文章[sw28890]
  • 原型)被称为囤积(以人为本)自动化 推理在你的办公桌上)并且已经专门。。。发现引理(使用图表),处理标准理论在几何中,如交换性和对称性。。。微积分),以及大的感觉(通过使用微积分的能力。。。
  • 差距

  • 引用2735篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 莱达

  • 引用了258篇文章[sw00509]
  • 在计算机科学的核心领域——数据结构。。。
  • 数学软件

  • 引用5756篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用524篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 恶心

  • 引用544篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。