归结原理是定理机器证明中的一种基本技术。
The resolution principle is known to be a basic tool for theorem proving.
定理机器证明的研究，在理论和实践上都具有重要的意义。
The research in mechanical theorem proving has great significance in the theory and the practice.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
There has been a lot of success in the study of automated theorem proving during the past 50 years.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
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.
与此同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。
At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.
本文提出并采用微分流形理论证明智能机器人体系结构可分解性定理。
In this paper, a decomposability theorem is presented and proved by differentiable manifolds theories.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
从这种机器理论数学的角度上讲，就是有没有证明数学定理的算法。
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.
应用推荐