• 减少

  • 引用739篇文章[sw00789]
  • REDUCE是一个通用的交互式系统代数的...
  • 正规链

  • 引用了70篇文章[sw00796]
  • 枫树10的正规连锁图书馆。正规连锁店。。。
  • 单数

  • 参考1337篇文章[sw00866]
  • 单数是计算机代数系统(CAS)用于。。。
  • 松饼

  • 17条引用[sw00924]
  • 我们描述一个新的软件包,名为SumCracker。。。
  • 自动

  • 引用841篇文章[sw01059]
  • AUTO是一个连续和分叉的软件。。。
  • 塞尔维亚

  • 在149篇文章中引用[sw01160]
  • 塞尔维亚语:一个B.I.E.程序,带有线性元素。。。
  • 棱镜

  • 引用398篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。