• 辅酶Q

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

  • 2702篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • MATLAB

  • 11446篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 塞西奥

  • 119篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…
  • R

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

  • 171篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 库达

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

  • 602篇参考文献[SW0384]
  • PVS是一种验证系统。
  • SDPT3

  • 592篇参考文献[SW0400 9]
  • 这个软件是为了解决二次曲线问题而设计的。编程
  • TPTP

  • 368篇参考文献[SW04143]
  • TPTP(成千上万的定理证明问题)
  • SPSS

  • 438篇参考文献[SW04269]
  • SPSS是一台计算机程序用于调查…