• 辅酶Q

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

  • 11146篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 超小卫星

  • 514篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • R

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

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

  • 167篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 水獭

  • 306篇参考文献[SW02904]
  • 我们目前的自动扣除系统水獭设计…
  • L- BFGS

  • 673篇参考文献[SW0322]
  • 算法778:……的L BFGS-B FORTRAN子程序…
  • PVS

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

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