• 岩浆

  • 2602篇参考文献[SW0540]
  • 大号支持代数计算的软件包理论代数几何…
  • Gap

  • 2586篇参考文献[SW0320]
  • 代数,特别强调计算组理论. GAP提供了一个编程语言,一个库…语言以及大号代数对象的数据库。也见概述…
  • 奇异的

  • 1277篇参考文献[SW08666 ]
  • 奇点理论. 奇异的主要计算对象是A上的理想和模大号品种…
  • PARI/GP

  • 536篇参考文献[SW0680]
  • 数的快速计算理论,但也包含了大号其他有用函数的数目…
  • 马尔萨斯

  • 42篇参考文献[SW1078]
  • 用于自动推理的元系统大号 理论. MaLARea(一个自动推理机器学习者)模式)。其预期用途是大号 理论,即在大号问题的数量…
  • 拉帕克

  • 55篇参考文献[SW12624]
  • LyAPACK的MATLAB工具箱大号Lyapunov和Riccati方程,模型简化问题,线性…控制问题用户指南(第1版)。控制装置理论是发展最快的…控制中的许多密集问题理论已经成为软件包,例如…逼近一类大号控制中的问题理论. 一种有效的基于ADI的求解器…
  • CVC4

  • 94篇参考文献[SW0985]
  • 可满足性模的源自动定理证明器理论(SMT)问题。它可以用来…A中的定则公式大号内置逻辑数理论和它们的结合。CVC4…
  • 德洛里斯

  • 25篇参考文献[SW055 46]
  • 线性复杂度,允许德洛尔执行大号 理论很快。德洛雷斯的算法扩展了…
  • 马吕科普

  • 20篇参考文献[SW07197]
  • 解决A中的许多问题大号复杂的理论然后从成功的解决方案中学习…AI自学数学专家大号数学图书馆,其中一些讨论…MPTP挑战评估大号 理论基准。。。
  • 舌状息肉

  • 247篇参考文献[SW0433]
  • 代数,傅立叶分析,泛函分析,算子理论,概率和统计,引用…简短的公式,GPM有一个大号在许多领域的重要应用,例如…
  • 流体流动现象

  • 62篇参考文献[SW1581]
  • 描述之间的具体联系理论和实践,提供一个大号允许…的代码数壁湍流这本书包括大号涡流模拟方法在不久的将来…一个平衡的混合理论并且广泛的应用使得…
  • IMPS

  • 48篇参考文献[SW09143]
  • 另一个包含和理论解释。IMPS提供相对大号原始推理步骤以促进…对所得到的证据的理解。最初的理论图书馆包含超过一千个可重复的证据…
  • 海普拉斯

  • 124篇参考文献[SW17661 ]
  • 塑性计算方法理论及应用。本文的目的是描述…详细的数值技术在小型和大号弹性材料的应变有限元分析试图提出合理的平衡理论数值方法在有限元中的应用。
  • 鳕鱼

  • 39篇参考文献[SW0666]
  • 基于理论有限元。这个工具覆盖了大号应用范围…
  • 校对表

  • 3篇参考文献[SW28 64]
  • 校对表:指导表指南大号 理论在E.Westlist(也就是提示列表)中是一种机制…探索监视列表的使用大号 理论来自一阶翻译大号
  • QETLAB

  • 50篇参考文献[SW2093]
  • 理论. 虽然有许多量子信息理论允许用户执行的工具箱…全矩阵和大号稀疏矩阵,并利用许多…
  • HGAM

  • 73篇参考文献[SW11201]
  • 稀疏性和光滑性是数学的关键理论以及有限样本的性能…稀疏平滑惩罚法收益率大号额外的性能增益…
  • BWIST

  • 4篇参考文献[SW23 722]
  • 振荡器。2:扰动的研究理论进入大号秩序[在……]
  • ATPoBooP

  • 2篇参考文献[SW28 626]
  • 集合求解系统大号-理论交错ATP的问题与状态…
  • 数学张量

  • 20篇参考文献[SW09364]
  • 系统这个包对操作很有用。大号方程组和检测对称性…解决量子场中出现的问题理论例如弯曲时空的…要求转换任务大号黎曼张量项成线性组合…