• 辅酶Q

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

  • 125篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。
  • MATLAB

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

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 46篇参考文献[SW01224]
  • 模块化程序设计语言是…的后裔。
  • 埃兰

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

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

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