Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
In this text the method of near field image is used to measure the geometric parameter of optical fibre automatically.
本文利用近场图像法对光纤几何参数进行自动测量。
In this paper we discussed the evolution of two states system and geometric phase in a rotating magnetic field by using the method of coordinate transformation.
本文用旋转坐标系系法对二能级系统的在旋转磁场中的演化和几何相进行了研究。
应用推荐