• 马尔萨斯

  • 40篇参考文献[SW1078]
  • MaLARea:一个元系统自动化的 推理进入大号 理论. MaLARea(机器学习者)自动化的简单元系统迭代组合演绎法自动化的 推理工具(现在是E和SPASS……模式)。其预期用途是大号 理论,即在大号问题的数量…
  • HR

  • 29篇参考文献[SW1092]
  • 以数学家哈迪和拉马努扬命名理论数学领域中的形成。它起作用了…有效,人力资源可以生产大号测试定理的个数自动化的定理证明者(ATPs)人力资源管理的应用自动化的 推理包括约束满足问题的约束生成…
  • 国歌

  • 2篇参考文献[SW30423 ]
  • 颂歌:将GRIGO程序转变为一级程序理论(初步报告)。在最近的一篇论文中…程序完成扩展到A大号输入语言中的类程序…地滚石我们愿意自动化生成和简化完工公式的过程…该软件结合自动化的 推理工具,验证程序是否正确…
  • 囤积土地

  • 2篇参考文献[SW28 890]
  • “原型”被称为HoaDATIF(以人为本)自动化的 推理在你的桌子上)并且已经专业化了…发现LimMata(使用图表),处理标准理论在几何上,如交换性和对称性…微积分)与证明大号感觉(通过使用微积分的能力…
  • 可可

  • 583篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1689篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2535篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 勒达

  • 247篇参考文献[SW0509]
  • 在核心的计算机科学领域——数据结构…
  • MATLAB

  • 10782篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 509篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 抱怨

  • 341篇参考文献[SW0610]
  • 由专家制作,用于多种品种…
  • 诺蒂

  • 510篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…