Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
2
A practical stand-alone geometric moulding system necessitates a graphic database as its pictorial information storing and management kernel.
一个实用的、完整的几何造型系统必须有一个精心设计的图形数据库作为图形信息的存贮和管理中心。
3
A database is established for representing the structure and geometric properties of the workpieces.