• 濑户

  • 引用了119篇文章[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • R

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

  • 在740篇文章中引用[sw00789]
  • REDUCE是一个通用代数的交互系统。。。
  • 圣哲

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

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

  • 引用517篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 小话

  • 引用了190篇文章[sw01561]
  • Smalltalk是一个面向对象的、动态类型的、反射的。。。
  • 卫星库

  • 引用57篇文章[sw02107]
  • SATLIB是一个基准问题的集合,求解器。。。