|
|||||
|
|
| 关于多项式的因子分解的机械方法的注记 | |
| 引用本文： | 李雅卿,张玉森.关于多项式的因子分解的机械方法的注记[J].数学季刊,1991,6(2):109-110. |
| 作者姓名： | 李雅卿 张玉森 |
| 作者单位： | 中国科学院系统科学所，科学出版社 |
| 摘 要： | 在Van der Waerden 1]的§37中有一个定理说:如果域△上的单变量的多项式能在有限步内分解,则多变量的多项式亦可。由于这一定理对几何证明的机械化方法颇为重要,吴文俊在总结他自己所开创的几何定理机器证明的重要著作2]的4.2中以如下形式重新叙述并证明了上述的定理: 设A是一个有么元素的整环,且已知有一机械方法可在有限步内将A中任意一数唯一分解成不可约因子(确定至A中可逆因子),则有一机械方法可在有限步内将Ax_1, |
| 关 键 词： | 多项式 因子分解 机械方法 |
| 本文献已被 CNKI 维普 等数据库收录！ | |