• 伊莎贝尔

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

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

  • 引用261篇文章[sw00509]
  • 在计算机科学的核心领域——数据结构。。。
  • 数学软件

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

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

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

  • 引用292篇文章[sw00724]
  • polymake是一个开源软件,用于研究。。。
  • R

  • 在8359篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 在1620篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 单数

  • 在1373篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。