搜索结果: 1-1 共查到“代数学 traditional”相关记录1条 . 查询时间(0.046 秒)
Automated Production of Traditional Proofs for Theorems in Euclidean Geometry
Machine proof automated geometry theorem proving Euclidean traditional proof area method Pythagoras di® erence constructive geometry statements
2013/9/9
We present a method which can produce traditional proofs for a class of geometry statements whose hypotheses can be described constructively and whose conclusions can be represented by polynomial equa...