• DIMSYM公司

  • 引用72篇文章[sw04279]
  • 向量场或微分形式有限的维度流形,几何对象的对称性(例如,等距。。。方程式和类型对称性有待发现(撒谎点,撒谎-巴克伦德或者其他。。。Dimsym给出了对称生成器(当然可能是无限维的。。。
  • 阿多-C

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

  • 在601篇文章中引用[sw00143]
  • CoCoA是一个交换计算系统。。。
  • 差异包

  • 在111篇文章中引用[sw00203]
  • 随着现代编程方法学从计算机科学迁移。。。
  • FGb公司

  • 在234篇文章中引用[sw00286]
  • FGb/Gb libraryGb是一个程序(191420行。。。
  • 差距

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

  • 引用255篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 岩浆

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

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