• 叠加演算

  • 2篇参考文献[SW28 71]
  • 精雕细琢,深受基础启发叠加微积分:每个子句与…形式——因此替换的任何应用规则这些条款被封锁了…添加或移除推论步骤。假设的一组术语…比以前取代的术语。标准叠加微积分对应于…
  • 辅酶Q

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

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

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

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

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • 水獭

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

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

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

  • 606篇参考文献[SW0494]
  • CVX是一个用于建模和建模的系统。