• CSDP

  • 189篇参考文献[SW0169]
  • CSDP,半定规划的C文库。
  • MATLAB

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

  • 163篇参考文献[SW01561 ]
  • SimultTalk是面向对象的、动态类型的、反射式的…
  • CASL

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

  • 1126篇参考文献[SW042]
  • SEDIMI是一个用于求解优化的MATLAB工具箱。
  • UCI ML

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

  • 424篇参考文献[SW04269]
  • SPSS是一种用于调查的计算机程序。
  • 莫德

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

  • 99篇参考文献[SW07229]
  • RCV1:一种新的文本分类基准集
  • 阿尔夫

  • 65篇参考文献[SW08603]
  • 阿尔夫的实现——一个基于证明编辑器的…