To produce the traditional readable proving of geometry theorem, the forward reasoning is necessary.
为了生成传统形式的几何定理可读证明，前推法必不可少。
Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.
同时，也对四色问题与初等几何定理证明作了简单的讨论。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
The subsidiary conditions (or called non-degeneracy conditions) are not one and only that a theorem holds in differential geometry theorem proving.
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
Then cosine theorem is no longer a pure problem from elementary geometry.
于是余弦定理从此不再是一个纯粹的初等几何问题。
Geometry has two great treasures, one is the theorem of Pythagoras; the other, the division of a line into extreme and mean ratio .
几何学有两大珍宝，其一是毕达哥拉斯定理，另一个是分一线段为中外比。
The circle-power theorem is one of important theorems in plane geometry.
圆幂定理是初中平面几何《圆》中重要定理之一。
Then the basic formulae and the theorem on its unique existence have been established as doing in the curve theory in Differential Geometry.
接着，仿微分几何的曲线论，建立了基本公式和唯一存在定理。
Baced on the properties of elliptical trajectory, the reentry conditions of the vehicles, spherical geometry, and the fixed-point theorem, an algorithm for the ideal trajectory is proposed.
根据飞行器椭圆弹道的性质、飞行器再入条件、球面几何和不动点原理给出了理想弹道的计算算法。
In the H-FDTD method, Hegxagon grid is used for the spatial discretization by virtue of peridodical sampling theorem based on arbitrary geometry.
这种方法基于任意几何形状网格的抽样定理，利用六边形网格来实现空间离散化。
In this paper, the existence theorem of midpoint chord of quadratic curve, as well as its proof, is given via methods of projective geometry and polarity principle.
文章利用射影几何方法及配极原理给出二次曲线中点弦存在性定理的证明。
With some examples in plane geometry, the author indroduces how to use Desargues theorem to simplify the proofs of problems of collinear points and concurrent lines.
利用代沙格定理及其逆定理 ，对平面几何的几个共线点和共点线的问题给出简捷的证法。
Similar to methods of differential geometry theory, equivalent theorem between differential algebraic systems passivation and KVP property was used by introducing m derivative.
利用类似微分几何理论的方法，通过引入微分代数系统的m导数，利用微分代数系统无源性定义以及kvp特性的等价定理。
In this paper, enumeration problems in the orthogonal geometry over a finite field with characteristic 2 are studied, and an enumeration theorem is proved.
本文研究特征为2的有限域上正交几何中的计数问题，给出了一个计数定理。
In this paper, enumeration problems in the orthogonal geometry over a finite field with characteristic 2 are studied, and an enumeration theorem is proved.
本文研究特征为2的有限域上正交几何中的计数问题，给出了一个计数定理。
应用推荐