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

定　價(jià)：￥9.50

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

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

內(nèi)容簡介

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

作者簡介

暫缺《平面幾何定理的機(jī)器證明》作者簡介

圖書目錄

暫缺《平面幾何定理的機(jī)器證明》目錄

本目錄推薦

01廣義凸性及其應(yīng)用（第二版…

01

廣義凸性及其應(yīng)用（第二版）
02應(yīng)用指數(shù)學(xué)

02

應(yīng)用指數(shù)學(xué)
03微積分與高考數(shù)學(xué)（第2版…

03

微積分與高考數(shù)學(xué)（第2版）
04幾何相位與量子幾何初步

04

幾何相位與量子幾何初步
05現(xiàn)代因析設(shè)計(jì)理論

05

現(xiàn)代因析設(shè)計(jì)理論
06函數(shù)空間的拓?fù)浣Y(jié)構(gòu)（英文…

06

函數(shù)空間的拓?fù)浣Y(jié)構(gòu)（英文版）
07解析數(shù)論

07

解析數(shù)論
08中考數(shù)學(xué)選擇填空解答壓軸…

08

中考數(shù)學(xué)選擇填空解答壓軸好題妙…
09超越數(shù)：代數(shù)無關(guān)性

09

超越數(shù)：代數(shù)無關(guān)性
10圓錐曲線論（卷Ⅴ-Ⅶ）

10

圓錐曲線論（卷Ⅴ-Ⅶ）

掃描二維碼