計(jì)算機(jī)怎樣解幾何題：談?wù)勛詣?dòng)推理

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