与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
定理机器证明的研究，在理论和实践上都具有重要的意义。
The research in mechanical theorem proving has great significance in the theory and the practice.
归结原理是定理机器证明中的一种基本技术。
The resolution principle is known to be a basic tool for theorem proving.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
There has been a lot of success in the study of automated theorem proving during the past 50 years.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
从这种机器理论数学的角度上讲，就是有没有证明数学定理的算法。
In mathematical terms, they wanted to know whether there was an algorithm for proving the theorems of mathematics.
从这种机器理论数学的角度上讲，就是有没有证明数学定理的算法。
In mathematical terms, they wanted to know whether there was an algorithm for proving the theorems of mathematics.
应用推荐