1.
resolution theorem proving
归结定理证明消解式定理证明
2.
production system for theorem proving
定理证明的产生式系统
3.
A Postscript on a Proof of Minkowski's Theorem
关于Minkowski定理证明的注记
4.
A Note on the Proof of A Theorem in Matrix Theory;
关于矩阵理论中一个定理证明的注记
5.
A Proof to Other Real Number Continuity Fundamental Theorems by Compact Theorem
致密性定理证明其它实数连续性基本定理
6.
theorem-proving for robot problem solving
机器人问题求解的定理证明
7.
The Improvement of the proof of the Theorem of the Completion of a Topological Linear Space
拓扑线性空间完备化定理证明的改进
8.
iGeo: A Theorem Prover of the Intelligent Geometry Software;
iGeo：智能几何软件的定理证明器
9.
the proof of a theorem,ie in geometry
（几何）定理的证明.
10.
Some rational proofs of the Cayley-Hamilton theorem
Cayley-Hamilton定理的有理证明
11.
Proving Preparing Theorem of Euler Theorem and Wilson Theorem;
Euler定理和Wilson定理的预备定理的证明
12.
An Elementary Proof to the Kelisky-Rivin Theorem;
Kelisky-Rivin定理的初等证明
13.
Lots of Proofs of the Fermat Theorem;
Fermat定理的若干再证明(续)
14.
On the Famous Theorem of Pappus and Desargues;
关于Pappus、Desargues定理的证明
15.
Another Proof of Lagrange Mean Value Theorem;
Lagrange中值定理的一个证明
16.
A Proof of the Cayley-Hamilton Theorem
Cayley-Hamilton定理的一个证明
17.
The Proofs of Four Colours and Ramsey Theorems Based on Model Theory;
四色定理和Ramsey定理基于模型论的证明
18.
Change in Proof of Lamm of LAPLACE Theorum;
LAPLACE定理引理证明的一点改动