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.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
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.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。