2) geometric calibration
几何标定
3) geometry theorem
几何定理
1.
Using the elimination method with decoupling of leadin g terms for a polynomial set presented by the author, a polynomial set of an or iginal geometry statement of a geometry theorem can be translated into an ascend i ng polynomial set with leading coefficients without unknown variables.
用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证
2.
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。
3.
Contrasting the geometry theorems and deductions of several similar graphs,summarizing these algebraic relations and applying both of them to the air defense information fusion are of important theoretic significance.
对比几个类似图形的几何定理及推论,归纳与总结这些代数关系,具有重要的理论意义。
4) geometrical determination of orbit
几何定轨
6) geometric calibration
几何定标
补充资料：几何
①〈书〉多少：价值～？ㄧ曾～时。②几何学的简称。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条