• 辅酶Q/SSR

  • 61篇参考文献[SW09360]
  • SSR反射COQ证明助手的扩展库。名字SSR反射代表“小规模……”因此,这个名字。例如,在SSR反射图书馆算法比较不是抽象的…
  • MIZ3

  • 10篇参考文献[SW1863]
  • 在伊莎贝尔之前已经组合过,SSR反射和马蒂塔系统。我们的方法是通用的…
  • 盖亚

  • 4篇参考文献[SW09607]
  • 标准COQ;它们被转换为SSR反射(版本1.3);文件已编译…
  • 辅料

  • 3篇参考文献[SW03703]
  • 利用面向对象的描述SSR反射图书馆,再精练…
  • 辅酶Q

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

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

  • 26篇参考文献[SW0411]
  • HOMALG:同调代数的元包。这个。。。
  • MATLAB

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