《幾何定理計算機證明》是2007年科學出版社出版的圖書,作者是孫熙椿。...... 《幾何定理計算機證明》作者將我國著名的數學家吳文俊院士獨創的“幾何定理機器證明的新...
jihe dingli jiqi zhengming 幾何定理機器證明 mechanical theorem-proving in geometry 用計算機自動證明某一類型幾何定理,甚至某一種幾何全部定理的原理和方法。從...
《幾何定理機器證明的基本原理》是科學出版社於1984年出版的一本圖書,作者是吳文俊。...
定理機器證明是用計算機自動地進行推理和證明數學定理。又稱為自動定理證明(ATP)。讓機器去證明數學定理的想法,在17世紀G.W.Leibniz 創立數理邏輯時就產生了,但這...
方法優點之一是占用記憶體小,至今是唯一可用袖珍計算機證明非平凡幾何定理的方法,也是機器證明中唯一可高度並行的算法。在國外文獻中稱此法為“楊張定理”。用此法...
把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術,又稱自動定理證明和自動演繹。...
1992年張景中等提出了幾何定理可讀證明自動生成的理論、算法和方法,並實現為通用的微機程式。用此新方法已經證明近千個非平凡的幾何定理,其中有幾十個非歐幾何的新...
機器證明及其套用是中國攀登計畫項目之一。該項目的核心內容主要是幾何定理機器證明和非線性代數方程組理論、算法和套用。...
藉助基本量把證明題化為計算題的基本過程;用三角計算證題;用解析幾何計算證題;解定值問題及極值問題;解較難的幾何計算題(實際是未給出結論的證明題);用解析...
曙光一號並行計算機(以下簡稱曙光一號)是 1993 年我國自行研製的第一台用微處理...西安交大開發的LISP/CLOS 系統,科學院系統所開發的幾何定理證明軟體系統,以及清華...
適用領域範圍 計算機, 繪圖,幾何 適用領域範圍 射影幾何 目錄 1 定理定義 2 驗證推導 3 對偶命題 4 定理推廣 帕普斯定理定理定義 編輯 帕普斯(Pappus)定理...
計算機科學家,中國科學院院士。多年從事幾何算法和定理機器證明研究,其成果曾獲國家發明二等獎,中國科學院自然科學一等獎,國家自然科學二等獎。熱心數學教育,提出教育...
如今,歐幾里得幾何的構造通常不是通過公理化方法,而是通過解析幾何。通過這種方法,可以像證明定理一樣證明歐幾里得幾何(或非歐幾里得幾何)中的公理。這一方法沒有公理...
在機器證明方面,他提出的用計算機證明幾何定理的方法(國際上稱為吳方法),遵循中國傳統數學中幾何代數化的思想,與通常基於邏輯的方法根本不同,首次實現了高效的幾何...
非退化條件(nondegenerate condition)是使幾何命題不失一般性的條件。吳文俊最先...原意是用機械的步驟判定數學命題的真假,現在一般指用計算機證明定理或推導公式。...
70年代後期,在計算機技術大發展的背景下,吳文俊繼承和發展了中國古代數學的傳統(即算法化思想),轉而研究幾何定理的機器證明,徹底改變了這個領域的面貌,是國際自動...
其主要貢獻是:(一)提出了面積解題方法,並用之於機器證明的研究,使幾何定理可讀證明的自動生成這個多年來進展甚小的難題得到突破。(二)創立計算機生成幾何定理可讀...
4、立體幾何定理的計算機證明. 2002,10. 湖北民族學院學報. 獨立還在廣東教育學院學報和電腦學習等雜誌上先後發表了基於神經網路的多元智慧型、函式與匯流排、面向對象與...
(計算機證明數學問題)是由吳文俊提出,華人美籍數學家王浩也是最初的研究人員之一...數學機械化研究,是在初等幾何定理的機器證明研究方面取得突破的。公理化體系的...
⑵上世紀90年代初,張景中院士根據自己獨創的消點思想提出了幾何定理的可讀性證明的理論,並且與他人合作成功研製出具有可讀性幾何定理證明的軟體,使得在計算機上顯示的...
倡導套用數學與計算機的研製,曾出版《統籌方法平話》、《優選學》等多部著作並...【吳氏方法】數學家吳文俊關於幾何定理機器證明的方法被國際上譽為“吳氏方法”;...