几何自动推理系统发展研究
궤하자동추리계통발전연구
Study on the Development of Geometric Automated Reasoning System
  • 万方数据
    山西广播电视大学学报 산서엄파전시대학학보
    JOURNAL OF SHANXI RADIO & TV UNIVERSITY
    2010年 3期 40-41 ,共2页

    刘颖奇%黄勇

    류영기%황용

    自动推理%几何%软件 自動推理%幾何%軟件
    자동추리%궤하%연건
    通过回顾几何自动推理与几何软件的历史与研究现状,探讨了几何自动推理系统的发展,得出几何自动推理系统应向网络化发展的结论.
    통과회고궤하자동추리여궤하연건적역사여연구현상,탐토료궤하자동추리계통적발전,득출궤하자동추리계통응향망락화발전적결론.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문