《幾何定理機器證明的幾何不變數方法》是2015年科學出版社出版的圖書，作者是張景中、高小山、周鹹青。
《幾何定理機器證明的幾何不變數方法》是2015年科學出版社出版的圖書，作者是張景中、高小山、周鹹青。內容簡介 本書主要包括：基於面積與勾股差等幾何不變數的面積法、基於體積與勾股差等幾何不變數的體積法以及基於向量計算的向量方法。圖...
從機器判定到可讀證明的自動生成 吳法的成功使一度冷落的幾何定理機器證明研究活躍起來。用代數方法證明幾何定理的方向受到重視。新的代數方法接連出現。在國外，周鹹青等提出了用Grobner基方法構作幾何定理機器證明的算法和程式並獲得成功。
幾何定理機器證明最早由Hibert提出，50年代初Tarski用代數方法證明了初等幾何機械化的可能性；70年代末，吳文俊院士給出可在計算機上實現的代數特徵列方法；隨後，張景中院士提出具有可讀性的幾何不變數方法。這些方法屬於代數消元法，而邏輯...
1990年楊路、張景中提出了定理機器證明的數值並行方法，在世界上首次用計算機實現了有嚴密理論依據的幾何定理例證法。方法優點之一是占用記憶體小，至今是唯一可用袖珍計算機證明非平凡幾何定理的方法，也是機器證明中唯一可高度並行的算法。在國外...
《幾何定理計算機證明》作者將我國著名的數學家吳文俊院士獨創的“幾何定理機器證明的新方法”套用到大學和中學的數學教育中，經過多年的教學實驗和數學現代化探索，總結出了這《幾何定理計算機證明》，《幾何定理計算機證明》的出版對數學素質...
《幾何定理機器證明的基本原理》是科學出版社於1984年出版的一本圖書，作者是吳文俊。簡介 本書論述初等幾何機器證明的基本原理，證明了奠基於各種公理系統的各種初等幾何，只需相當於乘法交換律的某一公理成立，大都可以機械化。因此在理論...
在幾何定理機器證明中, 使用幾何不變數可以簡化代數表示並導致代數處理的簡化, 從而提高機器證明的效率和效果. 幾何代數是最重要的一類由幾何不變數組成的代數系統. 在代數處理中, 一個突出的困難是分解出真正表示幾何原問題的代數成分, ...
主要研究內容包括(1)將向量法、輔助線法和反證法等中學課本上的證題方法設計為算法；(2)設計推理規則庫和謂詞庫；(3)將前推法和後推法結合起來形成一個雙向搜尋算法；(4)設計算例庫，對有限制條件的幾何定理機器證明算法進行測試。...
用傳統方法給出的幾何定理的證明是可讀的.而用機器證明的代數方法，如吳方法、GB法或數值並行法來證明定理，由於過程中計算量一般較大，人們難以看明白並加以檢驗，所產生的證明不是可讀的.能不能用機械的方法產生可讀證明?
在龐特雅金示 性類方面的成果，是拓撲學纖維叢 理論和微分流形的幾何學的一項基 本理論研究，有深刻的理論意義。 近年來創立了定理機器證明的吳文俊原理(國際上稱為吳氏方法)，實 現了初等幾何與微分幾何定理的機 器證明，達到了世界...
