• 卡雷尔

  • 引用3篇文章[sw12598]
  • 弗斯特-秩序部件和系统可靠性分析;(2)第二-秩序成分可靠性双方分析。。。曲率拟合与点拟合方法(3)弗斯特-秩序 可靠性级数系统的界。。。
  • 感觉很好

  • 参考7篇文章[sw18093]
  • Landau-Lifshitz-Gilbert方程(LLG)。可靠方案必须保持磁化规范,这。。。时间步长。然而,这个计划是第一-秩序及时。我们声称。。。微磁模拟。我们如何展示计划秩序可以增加,并且非局部(静磁。。。对数时间,用快速多极子方法或者非均匀傅里叶变换。。。
  • 康康

  • 引用2篇文章[sw21589]
  • 可靠条件项重写系统的汇合检验器。康康。。。全自动定向汇流检查器第一-秩序条件项重写系统(CTRSs。。。LGPL许可证。对于它的一些方法康康发出呼吁外部无条件汇合。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 男爵

  • 在311篇文章中引用[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • gmp

  • 引用265篇[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 伊莎贝尔

  • 在606篇文章中引用[sw00454]
  • 伊莎贝尔是一个普通的校对助理。它允许。。。
  • 拉帕克

  • 在1626篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 数学软件

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

  • 在8359篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。
  • 减少

  • 引用739篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。
  • 滑溜

  • 引用80篇文章[sw01095]
  • 子程序库SLICOT提供Fortran 77实现。。。
  • 毫升

  • 引用514篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。