机器定理证明

复数域上的机器定理证明

Mechanical theorem proving on complex numbers field

机器定理证明的反向归约方法

Backward reduction method for automated theorem proving

广义上，程序设计过程就是定理证明过程，因而程序综合与机器定理证明关系密切。

In general , design of program can be treated as theorem proving , so program synthesis has close relations with automatic theorem proving .

在这样的背景下，试图结合机器定理证明的经典方法，将图论思想引入进来，提出了一种初步的图论机器定理证明方法，解决了一类有关定理的机器证明问题。

The present paper proposes a preliminary method of machine theorem proving based on graph theories , with the advantages of the classic methods .

机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。

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 artificial intelligence principle , auto-theorem and finding out the answer to questions in machine by applying the method of sum-up principle can be proved , based on the logic of one-step-predication .