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.
幾何定理證明的前推法能夠產(chǎn)生傳統(tǒ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)上，定理機器證明常常使用某種邏輯表示，然后再進行推理，這些方法往往缺乏靈活性，且證明過程難以理解。