nonresolution theorem proving
非归结定理证明
Antecedent derivation is an extension of theorem proving.
前件推导是定理证明的一种扩展。
A Proving Method on the Theorem of Binomial in Probability
二项式定理的概率证明
The connection method with equality for automated theorem proving
自动定理证明中带有等词的连接法
A Preliminary Study of Machine Theorem Proving Based on Graph Theories
定理机器证明的图论法初探
A member of the Herbrand base is called atom in automatic theorem proving.
在自动定理证明中，海尔勃朗基的成员也称为原子。
Application of complex functions for proving fundamental theorem in algebra
复函数在代数基本定理证明中的应用
The Proof of Gauss Theorem of Electrostatic Field and a Problem in Proving It
静电场高斯定理的证明与证明中存在的一个问题
Trigonometric identity and the mechanical theorem proving in elementary geometry
三角恒等式与初等几何定理的机械化证明
Computing simplest subsidiary conditions in differential geometry theorem proving
微分几何定理证明中最简单辅助条件的计算
The Improvement of the New Proving Method of A Classical Theorem in Linear Algebra
对线性代数中一个经典定理的新证法的改进
From the elimination in Arithmetic in Nine Sections to the automated theorem proving
从九章消元法到定理机器证明
Firstorder theorem proving is one of the most mature subfields of automated theorem proving.
一阶定理证明是最成熟的分支的自动定理证明。
Several Methods of Proving Fundamental Theorem of Algebra by Using Theory of Complex Functions
复变函数理论证明代数学基本定理的几种方法
It turned out to be absolutely instrumental many decades later in proving Fermat's Last Theorem.
结果几十年后 为证明费马最后定理 奠定了基础
The assignment was to make a construction that could be used in proving the Pythagorean theorem.
作业是给勾股定理做一个解释。
The proving and application of the differential mean value theorem adopt a number of auxiliary functions.
微分中值定理的证明和应用，大量采用了辅助函数。
Algorithms of elimination and simplification based on geometric algebra in automatic proving of geometric theorem
几何代数在定理证明中的消元与化简算法
Mechanical Geometry Theorem Proving Based on the Elimination Method with Decoupling of Leading Terms for Polynomial Set
基于多项式组主项解耦消元法的几何定理机器证明
英文例句大全为您提供theorem proving英文例句大全,theorem proving英文造句,关于theorem proving的英语句子,单词theorem proving怎么造句,theorem proving英文例句大全有哪些,哪些英语句子是关于theorem proving,英语单词theorem proving的句子,单词theorem proving如何造句,theorem proving怎么造句等。