相關詞條
-
定理機器證明
定理機器證明是用計算機自動地進行推理和證明數學定理。又稱為自動定理證明(ATP)。讓機器去證明數學定理的想法，在17世紀G.W.Leibniz 創立數理...
簡介 方法舉例 -
幾何定理機器證明的基本原理
《幾何定理機器證明的基本原理》是科學出版社於1984年出版的一本圖書，作者是吳文俊。
簡介 目錄 -
張景中
使計算機能像處理算術一樣處理幾何工作的“里程碑”。（三）創立定理機器證明的數值並行方法的原理和算法。（四）對幾何定理機器證明的吳方法進行了改進和發展...。成果《幾何定理機器證明理論與算法新進展》1995年獲“中科院自然科學獎...
人物履歷 科研成就 教學成就 科普創作 創作經驗 -
洪加威
，深入進去會使人流連忘返。他開始試著把自己想出的一些定理加以證明 （實際上...喜歡標新立異，看數學書，別人仔細看定理的證明，而他卻把一條定理都當作習題...動腦筋去解幾道難題，隨著本領的漸漸增長，他終於把上面的問題的一般性定理...
初露才華 種種考驗 XY語言的研製 走向世界 新的想法 -
施泰納[數學家]
。他在這裡進一步發現了自己的數學才能，因為他常常成功地對教材中的定理提...精美的新結果．17世紀萌發的比較零散的射影幾何的一些定理終於發展成綜合...．正如同一個數學分支中相關的定理出現在不同的章節里一樣，我相信數學分支...
數學家 成就 -
《新概念幾何》
，計算機科學家，中國科學院院士。 多年從事幾何算法和定理機器證明研究，其... 四、井田問題與定比分點公式五、一箭三雕 六、用消點法證明帕普斯定理和...都是不可多得的“銳利武器”。書中主要講述了平面幾何解題新思路、精益求精...
基本信息 編輯推薦 內容簡介 作譯者介紹 同作者作品 -
中學幾何研究
定理的機器證明等內容。教材從內容上努力體現當代數學的核心觀念,破除過度...第十章 幾何定理的機器證明第一節 數學機械化與我國數學家所取得的成就第二節...第四章 平面幾何名題欣賞第一節 幾個著名定理第二節 幾個著名不等式第五章...
內容提要： 圖書目錄： -
新概念幾何
，中國科學院院士。多年從事幾何算法和定理機器證明研究，其成果曾獲國家發明...與定比分點公式、一箭三雕、用消點法證明帕普斯定理和高斯線定理、共角三角形與共角定理等。許多中學生都覺得平面幾何題難做，難就難在平面幾何題變化萬千...
內容簡介 譯者介紹 作者作品 圖書目錄 -
吳文俊[著名數學家、中國科學院院士]
年），完成一項重要拓撲學研究，證明Whitney乘積公式和對偶定理...機械化證明的研究，於次年春節期間取得成功。1977年，首次發表定理的機械化...舉辦雙微會議，在首次會議上做報告“初等幾何和微分幾何的定理機械化證明...
人物生平 主要成就 社會兼職 獲獎情況 人物影響
