平面幾何定理的機(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應(yīng)用隨機(jī)過程（第6版）

02

應(yīng)用隨機(jī)過程（第6版）
03線性代數(shù)概論

03

線性代數(shù)概論
04數(shù)學(xué)分析的方法和典型例題…

04

數(shù)學(xué)分析的方法和典型例題
05數(shù)學(xué)教學(xué)論與案例分析

05

數(shù)學(xué)教學(xué)論與案例分析
06復(fù)變函數(shù)

06

復(fù)變函數(shù)
07離散數(shù)學(xué)習(xí)題解答與學(xué)習(xí)指…

07

離散數(shù)學(xué)習(xí)題解答與學(xué)習(xí)指導(dǎo)（第…
08隨機(jī)微分方程導(dǎo)論

08

隨機(jī)微分方程導(dǎo)論
09高等數(shù)學(xué)學(xué)習(xí)方法與能力培…

09

高等數(shù)學(xué)學(xué)習(xí)方法與能力培養(yǎng)研究…
10數(shù)字經(jīng)濟(jì)簡論（上下冊）

10

數(shù)字經(jīng)濟(jì)簡論（上下冊）

掃描二維碼