• 沙塔拉

  • 引用52篇文章[sw06849]
  • 撒达拉斯是教会的简单的 类型 理论具有广泛性和选择操作员。SAT解算器。。。
  • ACL2

  • 引用279篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 在2974篇文章中引用[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 拉帕克

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

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

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

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

  • 引用了575篇文章[sw00611]
  • 图论程序NAUTY:NAUTY是一个程序。。。
  • R

  • 参考8836篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 减少

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