1.
iGeo: A Theorem Prover of the Intelligent Geometry Software;
iGeo：智能几何软件的定理证明器
2.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
3.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
4.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
5.
The Analysis of Isabelle Theorem Prover and Its Application in PAR Method/PAR Platform
Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用
6.
theorem-proving for robot problem solving
机器人问题求解的定理证明
7.
Mechanical Theorem Proving in Differential Geometry about Curves on Surface;
微分几何曲面上曲线定理的机器证明
8.
Research and Development of Machine Proving System on Geometry Theorem;
几何定理机器证明系统的开发与研究
9.
the proof of a theorem,ie in geometry
（几何）定理的证明.
10.
resolution theorem proving
归结定理证明消解式定理证明
11.
MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY
基于指标形式张量的微分几何定理机器证明
12.
Some rational proofs of the Cayley-Hamilton theorem
Cayley-Hamilton定理的有理证明
13.
Proving Preparing Theorem of Euler Theorem and Wilson Theorem;
Euler定理和Wilson定理的预备定理的证明
14.
production system for theorem proving
定理证明的产生式系统
15.
An Elementary Proof to the Kelisky-Rivin Theorem;
Kelisky-Rivin定理的初等证明
16.
Lots of Proofs of the Fermat Theorem;
Fermat定理的若干再证明(续)
17.
On the Famous Theorem of Pappus and Desargues;
关于Pappus、Desargues定理的证明
18.
Another Proof of Lagrange Mean Value Theorem;
Lagrange中值定理的一个证明