您要查找的是不是：
- Hans-Gert Grabe. (2002). The GeoProver Package for Mechanized (Plane) Geometry Theorem Proving Version 1.3a. 郑英豪(2003)，行政院国家科学委员会专题研究计画-期中进度报告：青少年图形命题论证教学的研究(1/4)。
- The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving. 在微分几何定理证明中;一个定理成立的辅助条件(非退化条件)不是惟一的;但越简单越好.
- 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. 应用几何定理机器证明的研究成果,可以研制出高智能的几何教育软件。
- automated geometry theorem proving 几何定理机器证明
- Mechanical geometry theorem proving 几何定理机器证明
- Parallel Method for Geometry Theorem Readable Proving 几何定理可读证明的并行化方法
- Automated Geometry Theorem Proving and Geometry Education 几何定理自动证明和几何教育
- The Form-digitizing and Variation Group of the Euclid Plane Geometry Theorem 欧氏平面几何定理的形数化及其变换群
- I feel that geometry is a difficult subject. 我认为几何是一门难学的课程。
- The students are learning solid geometry. 这些学生正在学习立体几何学。
- A new proof method for two geometry theorems 两个几何定理的一种新证法
- Computing simplest subsidiary conditions in differential geometry theorem proving 微分几何定理证明中最简单辅助条件的计算
- Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving 几何定理并行验证算法研究
- Mechanical Geometry Theorem Proving Based on The Elimination Method With Decoupling of Leading Terms For Polynomial Set 基于多项式组主项解耦消元法的几何定理机器证明
- Let us restate the assertions above as a theorem. 我们把上述的断言重新表述为一个定理。
- This latter geometry he called astral geometry. 这后一种几何他称为星空几何。
- He is good at spherical geometry. 他对球面几何学很拿手。
- The second proof of Theorem 26 is due to James. 定理26的第二个证明属于詹姆斯。
- Pythagorean proposition is a geometry term. 勾股定理是一个 几何术语.
- Theorem g is called binomial theorem. 定理g称为二项式定理。
