• 差距

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

  • 引用了275篇文章[sw00363]
  • GMP库是任意精度的。。。
  • 拉帕克

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

  • 参考文献3136篇[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

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

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

  • 引用597篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 倍频程

  • 在303篇文章中引用[sw00646]
  • GNUOctave是一种高级语言,主要是。。。
  • 巴黎/GP

  • 引用627篇文章[sw00680]
  • GP是一个广泛应用的计算机代数系统。。。