平面几何命题机器证明的Gr(o)bner基方法
평면궤하명제궤기증명적Gr(o)bner기방법
Gr(o)bner Basis-method in Mechanical Proving of Plane Geometry Theorem
  • 万方数据
    科学技术与工程 과학기술여공정
    SCIENCE TECHNOLOGY AND ENGINEERING
    2006年 21期 3491-3493 ,共3页

    赵雪芝

    조설지

    几何命题%机器证明%Gr(o)bnera基 幾何命題%機器證明%Gr(o)bnera基
    궤하명제%궤기증명%Gr(o)bnera기
    探讨了初等平面几何命题机器证明的Gr(o)bner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易.
    탐토료초등평면궤하명제궤기증명적Gr(o)bner기방법,병급출료타적산법원리화실현방법,차통과실례설명료해방법간편역동,용Maple실현야교역.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문