• 拉帕克

  • 引用于1604篇文章[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 超小卫星

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

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

  • 引用于7904篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 减少

  • 引用739篇文章[sw00789]
  • REDUCE是一个通用代数的交互系统。。。
  • 单数

  • 引用于1356篇文章[sw00866]
  • 单数是电脑类代数系统。。。