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

定　價：￥9.50

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

ISBN：	9787543529809	出版時間：	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數(shù)學(xué) 拓展模塊二

01

數(shù)學(xué) 拓展模塊二
02復(fù)變函數(shù)與積分變換

02

復(fù)變函數(shù)與積分變換
03高等數(shù)學(xué)

03

高等數(shù)學(xué)
04數(shù)學(xué)分析的方法和典型例題…

04

數(shù)學(xué)分析的方法和典型例題
05集合論及其哲學(xué)：批判性導(dǎo)…

05

集合論及其哲學(xué)：批判性導(dǎo)論
06中職數(shù)學(xué)（小題限時練）

06

中職數(shù)學(xué)（小題限時練）
07培優(yōu)講練數(shù)學(xué)拓展模塊1下…

07

培優(yōu)講練數(shù)學(xué)拓展模塊1下（新課…
08二步分層李群上的調(diào)和分析…

08

二步分層李群上的調(diào)和分析（英文…
09數(shù)學(xué)習(xí)題冊

09

數(shù)學(xué)習(xí)題冊
10經(jīng)濟(jì)數(shù)學(xué)：概率論與數(shù)理統(tǒng)…

10

經(jīng)濟(jì)數(shù)學(xué)：概率論與數(shù)理統(tǒng)計(jì)（慕…

掃描二維碼