• LPDO

  • 引用3篇文章[sw11549]
  • 系统测量分离算子和算子对的不变量,拉普拉斯转型方法。。。
  • 阿多-C

  • 在233篇文章中引用[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 参考文献95篇[sw00108]
  • CASA是一个专门用于计算。。。
  • 差距

  • 引用2850篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 宝石

  • 参考第87条[sw00332]
  • 我们提出了一个新开发的基于枫木的“宝石。。。
  • 吉塔

  • 引用8篇文章[sw00353]
  • GITA:一个用于规范化的REDUCE程序。。。
  • gmp

  • 引用265篇[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 拉帕克

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

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

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