內容簡介
    本書論述初等幾何機器證明的基本原理，證明了奠基於各種公理系統的
各種初等幾何，只需相當於乘法交換律的某一公理成立，大都可以機械化．因
此在理論上，這些幾何的定理證明可以借助於電腦來實施．可以機械化的
幾何包括了多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等．
    全書共分六章．前兩章是關於幾何機械化的預備知識，集中介紹了常用
幾何；後四章致力於幾何的機械化問題．第3章為幾何定理證明的機械化與
Hilbert機械化定理，第4，5章分別為(常用)無序幾何的機械化定理和(常
用)有序幾何的機械化定理，第6章闡述各種幾何的機械化定理．
   

退換貨說明：

會員均享有10天的商品猶豫期（含例假日）。若您欲辦理退換貨，請於取得該商品10日內寄回。

辦理退換貨時，請保持商品全新狀態與完整包裝（商品本身、贈品、贈票、附件、內外包裝、保證書、隨貨文件等）一併寄回。若退回商品無法回復原狀者，可能影響退換貨權利之行使或須負擔部分費用。