• 辅酶Q

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

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

  • 341篇参考文献[SW0610]
  • 由专家制作,用于多种品种…
  • 诺蒂

  • 514篇参考文献[SW0611]
  • 图论程序NUTYY:NUTY是一个程序…
  • 挑剔

  • 48篇参考文献[SW0622]
  • NITPICK是伊莎贝尔/霍尔的反例发生器。
  • 塞西奥

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

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

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

  • 68篇参考文献[SW0933]
  • TPS和ETPS分别是定理证明…