• 岩浆

  • 在2718篇文章中引用[sw00540]
  • 大的,为代数、数的计算而设计的支持良好的软件包理论,代数几何。。。
  • 差距

  • 引用了2702篇文章[sw00320]
  • 代数,特别强调计算群理论. GAP提供了一种编程语言,一个库。。。语言以及大的代数对象的数据库。另请参阅概述。。。
  • 单数

  • 引用1314篇文章[sw00866]
  • 奇点理论. 奇异性的主要计算对象是a上的理想和模大的品种。。。
  • 巴黎/GP

  • 引用564篇文章[sw00680]
  • 数的快速计算理论,但也包含大的其他有用函数的数量。。。
  • 马拉雷亚

  • 引用了43篇文章[sw10278]
  • 自动推理元系统大的 理论. MaLARea(自动推理的机器学习者。。。模式)。它的预期用途是大的 理论,即在大的问题数量。。。
  • 李亚帕克

  • 在56篇文章中引用[sw12624]
  • LYAPACK一个用于大的李亚普诺夫和李卡蒂方程,模型简化问题,和线性。。。控制问题用户指南(1.0版)。控制理论是发展最快的。。。控制中的许多类型的密集问题理论已经在软件包中可用,例如。。。接近一类大的控制中的问题理论. 一个高效的基于ADI的求解器。。。
  • CVC4

  • 引用98篇文章[sw09485]
  • 可满足模的源自动定理证明器理论(SMT)问题。它可以用来。。。排序公式大的内置逻辑数理论以及它们的组合。CVC4。。。
  • 德洛雷斯

  • 引用25篇文章[sw05546]
  • 线性复杂性,允许DELORES执行大的 理论很快。德洛雷斯的算法扩展了。。。
  • 男警察

  • 引用了20篇文章[sw07197]
  • 解决许多问题大的复杂的理论,然后使用从成功解决方案中学习。。。自学人工智能数学专家大的数学图书馆,其中一些是讨论。。。在MPTP挑战赛上进行了评估大的 理论基准。。。
  • 舌状聚合体

  • 引用285篇文章[sw04343]
  • 代数,傅立叶分析,泛函分析,算符理论引用概率,还有。。。简而言之,GPM有一个大的在各个领域的重要应用,如。。。
  • 流体流动现象

  • 参考文献62篇[sw15481]
  • 描述了理论练习,提供大的允许。。。壁面湍流。这本书包括大的涡流模拟方法在不久的将来。。。动态平衡理论广泛的应用使。。。
  • 小鬼

  • 引用49篇文章[sw09143]
  • 另一个通过包容和理论解释。IMPS提供了相对大的原始推理步骤,以便于。。。对结果证明的理解。首字母理论有一千多个可重复的图书馆。。。
  • 海普拉斯

  • 引用158篇文章[sw17661号]
  • 塑性计算方法。理论和应用程序。本文旨在描述。。。在小型和大的弹性体应变有限元分析。。。试图提出一个合理的平衡理论以及数值程序在有限元计算中的应用。。。
  • 代号

  • 引用46篇文章[sw06676]
  • 基于理论有限元法。此工具包括大的应用范围。。。
  • 校对

  • 引用3篇文章[sw28654]
  • 校对:监视列表指南大的 理论在E.Watchlist(也是提示列表)中是一种机制。。。在中探索监视列表的使用大的 理论来自一级翻译大的...
  • 奎特拉布

  • 引用51篇文章[sw20493]
  • 理论. 虽然有很多量子信息理论允许用户执行。。。好吧,既有完整的矩阵又有大的稀疏矩阵,并利用许多。。。
  • hgam公司

  • 引用73篇文章[sw11201]
  • 稀疏性和光滑性对数学是至关重要的理论以及有限样本的性能。。。稀疏平滑惩罚法大的额外的性能提升。。。
  • BW差异

  • 引用4篇文章【sw23722】
  • 振荡器。2: 微扰研究理论在里面大的“秩序”在[物理。。。
  • ATP主机

  • 引用2篇文章[sw28626]
  • 求解集合的系统大的-理论交织ATP运行和状态的问题。。。
  • 数学张量

  • 引用了20篇文章[sw09364]
  • 系统。该包对于操作非常有用大的方程组和对称性检测。。。作者提出了量子领域出现的问题理论比如说弯曲的时空。。。转换大的黎曼张量项成线性组合。。。