• GEX

  • 32篇参考文献[SW09961]
  • 二十年,包括演绎基础方法方法该地区方法Groebner…
  • 阿戈

  • 10篇参考文献[SW07192]
  • 比所生成的更容易方法喜欢方法微积分是…
  • MMP/GEMS

  • 13篇参考文献[SW0584]
  • 定理证明器,MMP/几何实现方法对于欧几里得和微分几何,该区域方法
  • 消去法

  • 8篇参考文献[SW11267 ]
  • 数学研究系统开发支持方法用于计算多项式的特征集…
  • 本德乌

  • 9篇参考文献[ SW229 48 ]
  • 理论我们首先推广方法弯曲的并推导出精确的递推关系式。
  • 迪斯科舞曲

  • 1篇参考文献[SW0206]
  • 支持开发的计算机代数系统方法用于计算多项式的特征集…
  • 诺普

  • 1篇参考文献[ SW09560]
  • 基于消去法方法同伦分析方法以及PAD技术…
  • 设置测试

  • 2篇参考文献[SW21047 ]
  • 浙阳. 最优信号检测的分布和统计功率方法在有限样本中,提交…
  • 特菲尔

  • 1篇参考文献[SW22609]
  • 软阈值Fisher p值组合方法这被证明是最佳的…参考文献,请参见洪张和Zheyang. Fisher的p值最优阈值
  • 辅酶Q

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

  • 2篇参考文献[SW0310]
  • FUM——一种有效的稳定无粘MMB求解器
  • 格菲

  • 125篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。