• 辅酶Q

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

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

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

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

  • 1091篇参考文献[SW23 170]
  • GITHUB(最初称为逻辑AHESMEL LLC)[ 3…