The Pythagoras theorem is a deductive theorem, which can not be one primitive method as its tone series is formed through mathematical calculation.
毕达哥拉斯律是一种演绎律，它是用数学计算方法形成的音列，不可能成为一种原始的方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
Methods, including geometric algebraic method, deductive database method and paradigmatic prove method have been widely applied in the geometric theorem prove field.
在几何定理机器证明方法中，常用的有几何代数方法、演绎数据库方法和例证法等方法。
应用推荐