王者之路

書籍目錄

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

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    王者之路 PDF格式下載

---