Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
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.
定理机器证明的研究，在理论和实践上都具有重要的意义。
There has been a lot of success in the study of automated theorem proving during the past 50 years.
定理机器证明的研究已有将近50年的历史，并已经在数理逻辑、初等代数和几何学等学科取得显著成功。
There is however a much larger disconnect between the world of theorem proving and dynamic languages.
然而在理论层面和动态语言实际应用之间还是存在一些差距的。
To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.
在检验u ML模型一致性时，把一致性检验问题转化为逻辑定理证明问题。
Demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of TAL code.
它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的TAL代码。
Meanwhile, the application examples of equivalent transformation in the modeling, transfer function calculating and theorem proving are suggested.
文中还给出了等价变换在建模、传函矩阵计算和有关定理证明方面应用的实例。
The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
Demonstration of automated techniques, TAL and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.
它演示了自动化技术、TAL和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
Abstract: from the proof of the theorem of related euler, euler theorem proving mathematical way of thinking, which reflected on the basis of the application.
摘要：摘要：从欧拉定理的证明为切入口，探讨欧拉定理证明所体现数学思想方法，在此基础上探究其应用。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
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.
传统上，定理机器证明常常使用某种逻辑表示，然后再进行推理，这些方法往往缺乏灵活性，且证明过程难以理解。
In this paper, how to optimally divide a complicated system for serving the need of system modelling well is studied theoretically. We present the optimal dividing theory and its theorem proving.
就如何进行大系统空间模块的分解以满足建模的需要，作了理论上的探讨，给出了最优空间分解判定及性质定理证明。
The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.
本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。
So, instead of proving the divergence theorem, namely, the equality up there, I'm going to actually prove something easier.
我将要证明一些稍简单的结论，而不是证明散度定理，也就是写在这儿的等式，接下来证明点简单的东西。
There are mathematical theorem-proving programs.
有些程序可以证明数学定理。
Perelman's theorem goes far beyond proving this "non-existence" claim, just as Wiles' theorem tells you much more than non-existence of integer solutions of certain equations.
佩雷尔曼的定理远远超过证明这些“不存在”的断言，正如怀尔斯证明的定理所告诉你的东西要多于一类方程不存在整数解这个结论。
The assignment was to make a construction that could be used in proving the pythagorean theorem.
布置的作业是作一个可以用于证明毕达哥拉斯定理的图。
Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.
同时，也对四色问题与初等几何定理证明作了简单的讨论。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Resolution Principle is an important means of automatic proving of theorem.
归结原理是定理自动证明的重要工具。
While proving Carnot theorem, the irreversible heat engine can only run on forward circulation, but not on the opposite.
在证明卡诺定理时，不可逆热机只能作正向循环，不能令其作逆向循环。
In this paper, a new proving of the mean value theorem of integral on surface is given, with some application in related cases presented.
对曲面积分中值定理，给出了一个新的证明，并举出相关例子加以应用。
A new and simple proving method on the famous theorem of total torsion, "the total torsion of closed spherical curve is zero", and two generalized theorems for the. theorem are presented in the paper.
本文给出了关于全挠率的一个著名定理：“球面闭曲线的全挠率为零”一个新的简单证法，并且给出了这个定理的两个推广定理。
To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
为了生成传统形式的几何定理可读证明，前推法必不可少。
The first thing you have to realize about proving Taylor's theorem is that there are infinitely many versions of Taylor's theorem: one for each possible expression of the remainder term.
要证明泰勒定理你必须意识到的第一件事就是泰勒定理有无限多版本即一对每个可能表达的余项。
应用推荐