• 辅酶Q

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

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

  • 188篇参考文献[SW06838 ]
  • NTL是一个高性能、可移植的C++库…
  • R

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

  • 5篇参考文献[SW01304]
  • 衍生工具是转移风险的工具。他们是。。。
  • 埃兰

  • 108篇参考文献[SW02179]
  • ELAN系统提供了用于指定…的环境。
  • 库达

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

  • 2799篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • 莫德

  • 647篇参考文献[SW06263]
  • Maude是一种高性能的反射语言和…