mechanical theorem proving [计] 机器定理证明 ; 机器证明
mechanical theorem-proving in geometry 几何定理机器证明
Mechanical geometry theorem proving 几何定理机器证明
mechanical geometric theorem proving 几何定理的机器证明
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
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.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
应用推荐