基于面向对象的几何定理自动证明系统设计与实现
기우면향대상적궤하정리자동증명계통설계여실현
Design and implementation of an object-oriented automatic proof system of geometric theorems
  • 万方数据
    计算机时代 계산궤시대
    COMPUTER ERA
    2012年 7期 26-27,30 ,共3页

    白景华%韩道军

    백경화%한도군

    面向对象%几何定理自动证明%前推法%原型 麵嚮對象%幾何定理自動證明%前推法%原型
    면향대상%궤하정리자동증명%전추법%원형
    针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统.该系统结构简单、清晰,可扩展性强,并能产生可读证明过程.实例分析说明了该原型的有效性.
    침대궤하정리자동증명적전추법실현방식,결합면향대상편정공구적특점,실현료일개원형계통.해계통결구간단、청석,가확전성강,병능산생가독증명과정.실례분석설명료해원형적유효성.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문