基于多项式组主项解耦消元法的几何定理机器证明
기우다항식조주항해우소원법적궤하정리궤기증명
Mechanical Geometry Theorem Proving Based on The Elimination Method With Decoupling of Leading Terms For Polynomial Set
  • 万方数据
    数学的实践与认识 수학적실천여인식
    MATHEMATICS IN PRACTICE AND THEORY
    2004年 1期 135-138 ,共4页

    杨廷力%姚芳华

    양정력%요방화

    主项解耦消元法%几何定理机器证明%非退化充要条件 主項解耦消元法%幾何定理機器證明%非退化充要條件
    주항해우소원법%궤하정리궤기증명%비퇴화충요조건
    基于多项式组主项解耦消元法,将几何定理的假设条件(多项式组PS)化为主项只含主变元的三角型多项式组DTS,可得到定理命题成立的不含变元的非退化条件,即充分必要或更接近充分必要的非退化条件.由于多项式主系数不含变元,已不存在DTS多项式之间的约化问题,故方法有普遍意义.文中例为西姆松定理的机器证明.
    기우다항식조주항해우소원법,장궤하정리적가설조건(다항식조PS)화위주항지함주변원적삼각형다항식조DTS,가득도정리명제성립적불함변원적비퇴화조건,즉충분필요혹경접근충분필요적비퇴화조건.유우다항식주계수불함변원,이불존재DTS다항식지간적약화문제,고방법유보편의의.문중례위서모송정리적궤기증명.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문