基于多项式组主项解耦消元法的几何定理机器证明 |
| |
引用本文: | 杨廷力.基于多项式组主项解耦消元法的几何定理机器证明[J].江苏理工大学学报(自然科学版),2002,23(1):44-48. |
| |
作者姓名: | 杨廷力 |
| |
摘 要: | 用多项式组主项解耦消元法,将几何定理的假设条件(多项式组PS)化为主系数不含变元的三角型多项式组DTS,可得到定理命题成立的不含变化的非退化条件,即充分必要或更接近充分必要的非退化条件,由于多项式主系统不含变化,已不存在DTS多项式之间的约化问题,故方法有普遍意义,文中例为西姆松定理的机器证明。
|
关 键 词: | 主项解耦消元法 多项式组 几何定理 机器证明 |
本文献已被 维普 等数据库收录! |
|