• 西姆森

  • 引用了40篇文章[sw13385]
  • 软件。此外,还介绍了理论以及实现的数字细节。。。允许模拟平的盘子。为了做这个人工的自由。。。
  • 露西

  • 引用5篇文章[sw14999]
  • 作者介绍了露西给予的能力理论章节后面是具体的说明性例子,其中。。。适合探索狄拉克算子平的弯曲流形。。。
  • SMCHR公司

  • 引用2篇文章[sw09322]
  • 操作表示平的约束的结合。默认情况下,CHR会。。。结构。SMCHR本质上是一个可满足模理论(SMT)求解器理论...
  • 监管理论。jl

  • 1条引用[sw39171]
  • 朱莉娅包正则理论。jl:规范化,优化,次区域性。正规化理论在Banach空间中,以及非范数平方。。。地面真实的几何条件:平的地面上的真相必须补偿。。。正规化的副作用理论我们开发的,我们提供正则化的复杂性结果。。。
  • 阿多-C

  • 引用247篇文章[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。
  • ANSYS软件

  • 在685篇文章中引用[sw00044]
  • ANSYS提供了一个全面的软件套件,跨越。。。
  • 差距

  • 引用了3068篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 岩浆

  • 引用3137篇文章[sw00540号]
  • 计算机代数系统。岩浆是一个大的。。。
  • 数学软件

  • 参考6235篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。