mechanical theorem proving [计] 机器定理证明 ; 机器证明
mechanical theorem-proving in geometry 几何定理机器证明
Mechanical geometry theorem proving 几何定理机器证明
mechanical separator 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.
定理机器证明的研究，在理论和实践上都具有重要的意义。
应用推荐