• 差距

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

  • 引用256篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 高铁

  • 引用265篇[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。
  • 炒作

  • 引用文献248篇[sw00426]
  • hypre是一个解决方案的软件库。。。
  • 数学软件

  • 在5703篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。