...俊与数学机械化_娇娇_新浪博客 关键词 ：机器证明；数学机械化；中国古代数学；吴文俊 [gap=1191]Key words: mechanical proving ； mathematics mechanization ； classical Chinese mathematics ； Wu Wen-tsun ..
基于28个网页-相关网页
theorem mechanical proving 定理机器证明
mechanical theorem proving [计] 机器定理证明 ; 机器证明
Automated Mechanical Theory Proving 自动定理证明
mechanical theory proving [计] 机器理论证明
mechanical theorem-proving in geometry 几何定理机器证明
Mechanical geometry theorem proving 几何定理机器证明
mechanical separator theorem proving 机器证明
mechanical geometric 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 forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
应用推荐