• gmp

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

  • 引用19篇文章[sw00374]
  • 圣杯是一个符号计算环境有限。。。
  • 伊莎贝尔

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

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

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

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

  • 引用558篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • 网络X

  • 参考文献108篇[sw00616]
  • NetworkX(NX)是一个Python包,用于。。。