• 公理

  • 引用172篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 男爵

  • 引用324篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • B波利

  • 引用13篇文章[sw00089]
  • 算法812:BPOLY:一个面向对象的库。。。
  • 达夫尼

  • 引用66篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。
  • 费马

  • 引用41篇文章[sw00277]
  • 费马是一个计算机代数系统(CAS)为。。。
  • 费克斯

  • 在14篇文章中引用[sw00281]
  • 算法643fexact:Mehta的计算机代码。。。
  • FORTRAN语言

  • 在14篇文章中引用[sw00305]
  • FORTRAN-SC是一个卷ä新吉布提国际机场实施者。。。
  • 差距

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