基于多项式组主项解耦消元法的几何定理机器证明

• 作者: 杨廷力
• 来源期刊: 江苏大学学报(自然科学版)
• 学科: 数学
• 关键词: 消元法 多项式组 几何定理 机器证明
• 年，卷（期）: 2002,（1）
• 页码范围: 44-48
• 页数: 5页
• 分类号: O15
• 字数: 4895字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7775.2002.01.011

摘要

用多项式组主项解耦消元法,将几何定理的假设条件(多项式组PS)化为主系数不含变元的三角型多项式组DTS,可得到定理命题成立的不含变元的非退化条件,即充分必要或更接近充分必要的非退化条件.由于多项式主系数不含变元,已不存在DTS多项式之间的约化问题,故方法有普遍意义.文中例为西姆松定理的机器证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨廷力		44	988	16.0	30.0