·2,447,543篇论文数据，部分数据来源于NoteExpress
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
youdao
应用推荐
模块上移
模块下移
不移动