• 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

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

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

  • 7603篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 减少

  • 737篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。
  • 毫升

  • 502篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。