幾何定理計算機證明

名：出 數學《幾何定理計算機證明》作者將我國著名的數學家吳文俊院士獨創的“幾何定理機器證明的新方法”套用到大學和中學的數學教育中，經過多年的教學實驗和數學現代化探索，總結出了這《幾何定理計算機證明》，《幾何定理計算機證明》的出版對數學素質教育將有很深遠的指導意義。 《幾何定理計算機證明》適合作為高等院校教材，更適合師範院校和高中數學教師學習閱讀。

圖書信息

作　者： 孫熙椿 著

叢 書 名：出 版 社： 科學出版社ISBN：9787030155054出版時間：2007-06-01版　次：1頁　數：207裝　幀：平裝開　本：16開所屬分類：圖書 > 科學與自然 > 數學

內容簡介

《幾何定理計算機證明》作者將我國著名的數學家吳文俊院士獨創的“幾何定理機器證明的新方法”套用到大學和中學的數學教育中，經過多年的教學實驗和數學現代化探索，總結出了這《幾何定理計算機證明》，《幾何定理計算機證明》的出版對數學素質教育將有很深遠的指導意義。《幾何定理計算機證明》共分6章，主要講述幾何定理機器證明的發展概況、吳文俊機械化方法、張景中消點算法、楊路降維算法等。
《幾何定理計算機證明》適合作為高等院校教材，更適合師範院校和高中數學教師學習閱讀。