• 拉利布

  • 1篇参考文献[SW16256]
  • 图书馆活动中 学习寄存器算法自动机(扩展有限状态机的一种形式…
  • 辅酶Q

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

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

  • 255篇参考文献[SW0363]
  • GMP是一个任意精度的自由库。
  • GRM

  • 4篇参考文献[SW091]
  • 加权语法工具:GRM库。我们描述…
  • MATLAB

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

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 库达

  • 1118篇参考文献[SW03258]
  • NVIDIA®CUDA®工具包提供了全面的发展…
  • PVS

  • 600篇参考文献[SW0384]
  • PVS是一种验证系统。