• 麦考莱2

  • 1485篇参考文献[SW05337 ]
  • 结束带单项的分次或多次多项式环的环订购
  • 转移

  • 22篇参考文献[SW21009]
  • 模块化设计在伊莎贝尔/霍尔。、子类型和其他形式的类型抽象…普遍存在于高级推理中排序逻辑。通常,用户希望建立一个库…类型早期的伊莎贝尔作品包装在自动化方面取得了很大的进步。
  • 举起

  • 22篇参考文献[SW21010]
  • 模块化设计在伊莎贝尔/霍尔。、子类型和其他形式的类型抽象…普遍存在于高级推理中排序逻辑。通常,用户希望建立一个库…类型早期的伊莎贝尔作品包装在自动化方面取得了很大的进步。
  • 康普德

  • 2篇参考文献[SW29 675 ]
  • 基于标准的事实差分(QD)算法在数值上是不稳定的…条件数高达第二排序在计算机的舍入单元中。三个应用…
  • 鳄鱼

  • 2篇参考文献[SW0996]
  • 在复杂系统建模中非常方便排序有一个紧凑的,可读的和结构化的…利用对称提供紧凑状态空间表示(类似于构造)
  • 缪拉

  • 1篇参考文献[SW20305]
  • 类群通过同构。底层环应该超过理想给出的…GROEBER基础组件是最小的排序为了获得理想的代表…
  • CDD

  • 104篇参考文献[SW0114]
  • 程序CDD+(CDD,分别)是C.。
  • 可可

  • 584篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

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

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