《代數計算及定理機器證明的理論研究與軟體開發》是依託蘭州大學，由李廉擔任項目負責人的面上項目。
《代數計算及定理機器證明的理論研究與軟體開發》是依託蘭州大學，由李廉擔任項目負責人的面上項目。項目摘要本課題研究多元多項式環,模等代數系統的機器符號計算與機器定理證明的可行性與複雜性理論,並開發相應的套用軟體,它的直接目...
用代數方法證明幾何定理的方向受到重視。新的代數方法接連出現。在國外，周鹹青等提出了用Grobner基方法構作幾何定理機器證明的算法和程式並獲得成功。在國內，洪家威提出了單點例證方法的理論構想，但因複雜度太大不能實現。張景中、楊路則提出數值並行方法，在低檔微機（甚至計算器）上實現了非平凡幾何定理的機器證明...
計算機科學被認為比其它科學學科與數學的聯繫更加密切，一些觀察者說計算就是一門數學科學。早期計算機科學受數學研究成果的影響很大，如Kurt Gödel和Alan Turing，這兩個領域在某些學科，例如數理邏輯、範疇論、域理論和代數，也不斷有有益的思想交流。計算機科學和軟體工程的關係是一個有爭議的話題，隨後關於...
jihe dingli jiqi zhengming 幾何定理機器證明 mechanical theorem-proving in geometry 用計算機自動證明某一類型幾何定理，甚至某一種幾何全部定理的原理和方法。從理論角度看，幾何定理的機器證明要經歷公理化、代數化與坐標化、機械化等步驟，才能編製程序並在計算機上實現。可用機器證明的幾何定理（主要是初等幾何的...
《非線性代數方程組與定理機器證明》是“非線性科學叢書”中的一種，介紹參係數非線性代數方程組的構造性理論和求解算法。全書計分六章，即：導論，消去法基礎。三角型方程組，一般多項式方程組，機器證明的例證法，多項式方程的判別系統。其中有不少內容是作者的研究成果，尤其是5次以上代數方程的判定問題，作者在書...
後者的重要性超出機器證明本身...本項目的主要內容是研究基於幾何代數符號計算的幾何分解. 在理論方面, 研究高維Clifford括弧代數, 利用結式研究基於重寫規則的代數分解. 在套用方面, 利用幾何分解研究幾何定理機器證明, 機器人的運動學和反運動學問題, 和基於不變數的景物歐氏重建. Clifford括弧代數和幾何分解是目前...
本書首先在前三章介紹了數學機械化軟體平台MMP的基本功能與使用方法，然後在後面的各章中通過MMP的運行實例介紹了數學機械化的基本理論與最新近展，特別是方程求解與機器證明方面的最新研究成果。第四章介紹了多項式方程系統，常微分方程系統，偏微分方程系統的吳特徵列方法與投影定理。第五章介紹初等與微分幾何中定理...
§4.3代數情形的零點分解算法 §4.4微分情形的零點分解算法 §4.5擬代數簇的投影運算 第五章 幾何定理機器證明與發現 §5.1幾何命題的輸入與轉換 §5.2初等幾何定理機器證明 §5.3初等幾何定理自動發現 §5.4微分幾何定理機器證明與發現 第六章 代數方程求解 §6.1多項式方程求解的吳消元法 §6.2預解...
