1.
resolution theorem proving
归结定理证明消解式定理证明
2.
production system for theorem proving
定理证明的产生式系统
3.
the proof of a theorem,ie in geometry
（几何）定理的证明.
4.
Demonstration of The Theorem and Improvement of The Algorithm About Evaluating Candidate Keys of Relational Model;
关系模式中候选码求解定理的证明及算法改进
5.
We prove thatλ- resolvent of C1 and C2 is aλ- logical consequence of( C1∧ C2) and compleieness theorem ofλ- resolution.
证明了两子句的的λ归结式是这两个子句的λ逻辑结果,从而完成了λ归结的完备性定理的证明。
6.
Some rational proofs of the Cayley-Hamilton theorem
Cayley-Hamilton定理的有理证明
7.
theorem-proving for robot problem solving
机器人问题求解的定理证明
8.
Proving Preparing Theorem of Euler Theorem and Wilson Theorem;
Euler定理和Wilson定理的预备定理的证明
9.
Several Exploration Methods to Prove the Cauchy Mean Theorem
Cauchy微分中值定理的多种探究式证明法
10.
An Elementary Proof to the Kelisky-Rivin Theorem;
Kelisky-Rivin定理的初等证明
11.
Lots of Proofs of the Fermat Theorem;
Fermat定理的若干再证明(续)
12.
On the Famous Theorem of Pappus and Desargues;
关于Pappus、Desargues定理的证明
13.
Another Proof of Lagrange Mean Value Theorem;
Lagrange中值定理的一个证明
14.
A Postscript on a Proof of Minkowski's Theorem
关于Minkowski定理证明的注记
15.
A Proof of the Cayley-Hamilton Theorem
Cayley-Hamilton定理的一个证明
16.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
17.
We give a new method for proving the chromatic non-uniqueness of graphs by studying their adjoint polynomials, we obtain some structure characteristic of the chromatic equivalent graphs of kinds of graphs.
通过研究图的伴随多项式的因式分解，给出并证明了若干图簇的色等价图的结构定理。
18.
ALGORITHMS OF ELIMINATION AND SIMPLIFICATION BASED ON GEOMETRIC ALGEBRA IN AUTOMATIC PROVING OF GEOMETRIC THEOREM
几何代数在定理证明中的消元与化简算法