在幾何定理機器*方法中。,常用的有幾何代數方法、演繹數據庫方法和例*法等方法。
與此同時,實現了一些數學(羣論)定理的機器*,命題的邏輯推演等。
機器*的吳方法能有效地解非線*方程組,已應用到理論論理、計算機科學、數學科學、機器人機構學等領域。
定理機器*的研究已有將近50年的歷史,並已經在數理邏輯、初等代數和幾何學等學科取得顯著成功。
所提出的準線*變換消元法可應用於涉及非線*代數方程組求解的幾何定理機器*、算機輔助設計、器人等多個領域,具有十分重要的理論意義與實用價值。