計(jì)算機(jī)怎樣解幾何題

定　價(jià)：￥24.00

ISBN：	9787535272195	出版時(shí)間：	2016-02-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

　　計(jì)算機(jī)如何能證明幾何定理并發(fā)現(xiàn)新的定理呢？是因?yàn)槿苏业搅藥缀谓忸}的規(guī)律。跟著書(shū)還可以自己動(dòng)手模擬或?qū)崿F(xiàn)機(jī)器解題。

　　張景中，中國(guó)科學(xué)院院士，從事幾何算法和定理機(jī)器證明等領(lǐng)域研究。成果獲國(guó)家發(fā)明二等獎(jiǎng)，中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)，國(guó)家自然科學(xué)二等獎(jiǎng)。

暫缺《計(jì)算機(jī)怎樣解幾何題》目錄