• 多康

  • 1篇参考文献[SW26352]
  • 多康电脑 代数系统最近实现了一个很好的交换片。代数真实世界加利福尼亚州基于纯功能和“懒惰”的系统计算.代数的类别层次结构…
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个系统计算的离散的代数
  • MATLAB

  • 11180篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • SPSS

  • 425篇参考文献[SW04269]
  • SPSS是一个电脑用于调查的程序…
  • 废话

  • 62篇参考文献[ SW0727 8]
  • Quaffle:量化布尔公式计算器与学习Quffle…
  • IMPS

  • 49篇参考文献[SW09143]
  • IMPS:一个交互式数学证明系统。IMPS是…