您的位置： 专家智库 > >

张玉森

作品数：1 被引量：0H指数：0
供职机构：科学出版社更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇多项式
  • 1篇注记

机构

  • 1篇中国科学院数...
  • 1篇科学出版社

作者

  • 1篇张玉森
  • 1篇李雅卿

传媒

  • 1篇Chines...

年份

  • 1篇1991
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
关于多项式的因子分解的机械方法的注记
1991年
在Van der Waerden [1]的§37中有一个定理说:如果域△上的单变量的多项式能在有限步内分解,则多变量的多项式亦可。由于这一定理对几何证明的机械化方法颇为重要,吴文俊在总结他自己所开创的几何定理机器证明的重要著作[2]的4.2中以如下形式重新叙述并证明了上述的定理: 设A是一个有么元素的整环,且已知有一机械方法可在有限步内将A中任意一数唯一分解成不可约因子(确定至A中可逆因子),则有一机械方法可在有限步内将A[x_1,
李雅卿张玉森
关键词：多项式
全选 清除 导出
共1页<1>
聚类工具0