平面幾何定理的機(jī)器證明

定　價(jià)：￥9.50

作　者：	孫熙椿著
出版社：	廣西教育出版社
叢編項(xiàng)：	走向科學(xué)的明天叢書(shū) 數(shù)學(xué)
標(biāo)　簽：	平面幾何

ISBN：	9787543529809	出版時(shí)間：	1999-01-01	包裝：	平裝
開(kāi)本：	20cm	頁(yè)數(shù)：	142頁(yè)	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　國(guó)家“九五”重點(diǎn)圖書(shū)出版規(guī)劃項(xiàng)目。本書(shū)介紹了歐幾里得幾何公理系的發(fā)展、吳文俊院士的幾何定理的機(jī)器證明方法、張景中院士的消點(diǎn)算法等，尤其介紹了中國(guó)數(shù)學(xué)家在幾何定理的機(jī)器證明這一研究領(lǐng)域所取得的巨大成就。