《幾何定理機器證明的基本原理》是科學出版社於1984年出版的一本圖書,作者是吳文俊。
基本介紹
- 書名:幾何定理機器證明的基本原理
- 作者:吳文俊 著
- ISBN:9787030283771
- 頁數:234
- 出版社:科學出版社
- 出版時間:1984-8-1
- 開本: 16開
- 字 數:295000
- 印刷時間:2010-8-1
《幾何定理機器證明的基本原理》是科學出版社於1984年出版的一本圖書,作者是吳文俊。
《幾何定理機器證明的基本原理》是科學出版社於1984年出版的一本圖書,作者是吳文俊。...
jihe dingli jiqi zhengming 幾何定理機器證明 mechanical theorem-proving in geometry 用計算機自動證明某一類型幾何定理,甚至某一種幾何全部定理的原理和方法。從...
機器證明及其套用是中國攀登計畫項目之一。該項目的核心內容主要是幾何定理機器證明和非線性代數方程組理論、算法和套用。...
自動演繹與探試法等技術相結合而不用歸結原理的定理證明技術,主要用於數學定理的機器證明。幾何定理的機器證明在數學定理機器證明中,有一類問題已有判定算法,如1951...
《幾何定理計算機證明》是2007年科學出版社出版的圖書,作者是孫熙椿。...... 《幾何定理計算機證明》作者將我國著名的數學家吳文俊院士獨創的“幾何定理機器證明的新...
§4.2整序原理§4.3代數情形的零點分解算法§4.4微分情形的零點分解算法§4.5擬代數簇的投影運算第五章 幾何定理機器證明與發現§5.1幾何命題的輸入與轉換§5.2...
§4.2 整序原理 §4.3 代數情形的零點分解算法 §4.4 微分情形的零點分解算法 §4.5 擬代數簇的投影運算 第五章 幾何定理機器證明與發現 §5.1 幾何命...
幾何定理機器證明 初等幾何判定問題與機械化證明 幾何學機械化方法及其套用 數學的機械化與機械化的數學 《幾何定理機器證明的基本原理(初等幾何部分)》 的導言 復興...
70年代後期,在計算機技術大發展的背景下,吳文俊繼承和發展了中國古代數學的傳統(即算法化思想),轉而研究幾何定理的機器證明,徹底改變了這個領域的面貌,是國際自動...
有豐碩的成果,這些成果經常以算法(術)的方式表述,其理論依據則總結為一些原理。...數學機械化理論基礎 編輯 數學機械化研究,是在初等幾何定理的機器證明研究方面...
近年來創立了定理機器證明的吳文俊原理(國際上稱為吳氏方法),實 現了初等幾何與微分幾何定理的機 器證明,達到了世界先進水平。這一重要創新改變了自動推理研究的...
1985年進行機器證明的研究,與合作者創立了計算機生成幾何定理和讀證明的原理與...《平面幾何新路解題研究》、《平面幾何新路基礎研究》)被評為“第九屆中國圖書...
“矩形packing基本問題的高性能求解算法”的研究工作,在其中擔任算法設計與實現...主持高等學校博士學科點專項科研基金項目“有限制的幾何定理機器證明的研究(...
幾何定理機器證明的理論基礎是“消點法”,說得再簡單些就是面積。幾何大廈是由一個個漂亮的小屋組成,歐幾里德選了一個入口、選了一種路徑走遍了每一個小屋。在...
對古代數學內容與方法進行數學原理分析,以達到正本清源、理論概括以及提出歷史假說...“吳方法”的關於幾何定理機器證明的數學機械化方法,他的工作不愧為古為今用,...
這套軟體是在“幾何定理機器證明”理論這一世界領先理論的基礎研製開發出來的,具有動態作圖、自動推理、人機互動、智慧型解題等多項強大的功能。...
7.1 一般原理7.2 解零維系統7.3 解高維系統7.4 解參數系統第八章 幾何定理機器證明與發現8.1 基本方法8.2 完整方法8.3 舉例8.4 發現幾何定理...
(二)創立計算機生成幾何定理可讀證明的原理和算法,這項成果被權威學者認為是使計算機能像處理算術一樣處理幾何工作的“里程碑”。(三)創立定理機器證明的數值並行...
張先生一直站在科學研究的前沿,為建立“幾何定理機器可讀性證明的理論”做著出色的工作。可貴的是他在繁忙的科研工作之餘為青少年撰寫了大量廣受好評的數學科普作品...
機器定理證明 自動演繹(見機器定理證明) 歸結原理 非歸結定理證明 幾何定理機器證明 非標準邏輯中的自動演繹 邏輯程式設計 自動程式設計 公式推演 機器視覺 機器人...
【吳氏方法】數學家吳文俊關於幾何定理機器證明的方法被國際上譽為“吳氏方法”;另外還有以他命名的“吳氏公式”。【王氏悖論】數學家王浩關於數理邏輯的一個命題被...