theorem mechanical proving

基本解釋

The research in mechanical theorem proving has great significance in the theory and the practice.
定理機器証明的研究，在理論和實踐上都具有重要的意義。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
幾何定理証明的前推法能夠産生傳統(tǒng)形式的可讀証明，在定理機器証明領(lǐng)域佔有重要的地位。
Traditionally, Mechanical theorem proving often use a logic representation , and then inference, these methods lack of flexibility and the proving processes are difficult to understand.
傳統(tǒng)上，定理機器証明常常使用某種邏輯表示，然後再進行推理，這些方法往往缺乏霛活性，且証明過程難以理解。