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.
Mechanical Theorem Proving in Differential Geometry about Curves on Surface;
微分几何曲面上曲线定理的机器证明
5.
the proof of a theorem,ie in geometry
（几何）定理的证明.
6.
iGeo: A Theorem Prover of the Intelligent Geometry Software;
iGeo：智能几何软件的定理证明器
7.
Mechanical Theorem Proving in Geometry;
几何定理的机器证明——每个中国数学教师都应懂得的方法
8.
The butterfly theorem under higher geometry viewpoint;
从蝴蝶定理的证明看高等几何对初等几何的作用
9.
Proof of an Theorem in Orthogonal Geometry of Even Characteristic;
特征为2的正交几何中一个定理的证明
10.
ALGORITHMS OF ELIMINATION AND SIMPLIFICATION BASED ON GEOMETRIC ALGEBRA IN AUTOMATIC PROVING OF GEOMETRIC THEOREM
几何代数在定理证明中的消元与化简算法
11.
a proposition in geometry
几何学上待证的定理
12.
theorem-proving for robot problem solving
机器人问题求解的定理证明
13.
Proof of Levi Theorem on Almost Everywhere Convergence;
几乎处处收敛时Levi定理的证明
14.
Geometrical Explanatory Note and Principle Analysis of Taylor Mean Value Theorem
泰勒(Taylor)中值定理的几何机理
15.
Automated Theorem Prover for Pointer Logic
用于指针逻辑的自动定理证明器(英文)
16.
Several Methods of Proving Fundamental Theorem of Algebra by Using Theory of Complex Functions;
复变函数理论证明代数学基本定理的几种方法
17.
Mobile Robot Metric-Topological Map Building and Localization;
移动机器人几何—拓扑混合地图构建及定位研究
18.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证