王者之路

書籍目錄

緒 論
一 美夢成真――幾何定理機器證明的吳方法淺談
1 古老的追求
2 驚人的突破
……
二 雨后春筍――幾何定理機器證明研究的新進展
1 他山之石――格若勃基方法
2 似是而非――舉例證明幾何定理
……
三 根深葉茂――非線性代數(shù)方程組符號求解研究
1 正其名――方程組的相關(guān)性
……
四 桃李滿枝――數(shù)學機械化的應(yīng)用
1 數(shù)學機械化綱領(lǐng)
……
附錄一 機器證明及其應(yīng)用項目總體規(guī)劃
附錄二 幾何問題求解及其現(xiàn)實意義（摘要）――吳文俊在ATCM96大會上的邀請報告
參考文獻
小詞典

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    王者之路 PDF格式下載

---