計算機怎樣解幾何題：談談自動推理

    1青出于藍——計算機是人的好學生
    1．1計算機解題基本功
    1．2有了公式就好辦
    1．3沒有公式找算法
    1．4幾何解題花樣多
   2舉一反三——舉例驗證幾何命題
    2．1歸納和演繹的對立
    2．2用例子證明代數(shù)恒等式
    2．3一個例子證明的定理
    2．4用例證法發(fā)現(xiàn)新定理
    2．5數(shù)值并行法的一般實現(xiàn)
   3一網(wǎng)打盡——幾何信息搜索系統(tǒng)
    3．1尋求傳統(tǒng)幾何的美
    3．2從例子找出方法
    3．3試用幾何信息搜索系統(tǒng)
    3．4幾何信息搜索系統(tǒng)的算法結構
    3．5講究策略精益來精
    3．6全角方法的應用
    3．7一個幾何信息搜索系統(tǒng)運行情形
   4順藤摸瓜——解幾何問題的消點法
    4．1幾何知識的準備
    4．2一個簡單的例子
    4．3解剖麻雀——建立消點算法
    4．4有向線段和帶號面積
    4．5希爾伯特交點類問題
    4．6引進勾股差
    4．7復數(shù)和向量
   5步步為營——自動求解的代數(shù)方法
    5．1中國數(shù)學家的突破
    5．2領略吳氏代數(shù)方法
    5．3金字塔問題
   6后記——幾何定理機器證明進展回顧
    6．1艱難的歷程
    6．2重要的突破
    6．3與人工證明媲美
    6．4不等式的機器證明
    6．5研究展望和應用前景