1.
Research and Development of Machine Proving System on Geometry Theorem;
几何定理机器证明系统的开发与研究
2.
MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY
基于指标形式张量的微分几何定理机器证明
3.
With the aid of the research fruits from the automated geometry theoremproving, this paper can implement the software with intelligence mentioned aboveby embedding the geometry theorem prover (GTP) in the DGS.
应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
4.
theorem-proving for robot problem solving
机器人问题求解的定理证明
5.
Mechanical Theorem Proving in Differential Geometry about Curves on Surface;
微分几何曲面上曲线定理的机器证明
6.
Mechanical Theorem Proving in Geometry;
几何定理的机器证明——每个中国数学教师都应懂得的方法
7.
iGeo: A Theorem Prover of the Intelligent Geometry Software;
iGeo：智能几何软件的定理证明器
8.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
9.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
10.
the proof of a theorem,ie in geometry
（几何）定理的证明.
11.
resolution theorem proving
归结定理证明消解式定理证明
12.
The Design and Implementation of an Automated Theorem Prover Used for Pointer Logic
用于指针逻辑的自动定理证明器的设计与实现
13.
Some rational proofs of the Cayley-Hamilton theorem
Cayley-Hamilton定理的有理证明
14.
A comparison theorem is proved for the solutions of a backward-forward differential equations.
证明了一类正倒向随机微分方程解的比较定理。
15.
Proving Preparing Theorem of Euler Theorem and Wilson Theorem;
Euler定理和Wilson定理的预备定理的证明
16.
production system for theorem proving
定理证明的产生式系统
17.
An Elementary Proof to the Kelisky-Rivin Theorem;
Kelisky-Rivin定理的初等证明
18.
Lots of Proofs of the Fermat Theorem;
Fermat定理的若干再证明(续)