搜索结果: 1-1 共查到“几何学 production”相关记录1条 . 查询时间(0.092 秒)
Automated Production of Traditional Proofs in Solid Geometry
Automated theorem proving Euclidean traditional proofs volume method constructive geometry statements
2013/9/9
This paper presents a method of producing readable proofs for theorems in solid geometry.The method is for a class of constructive geometry statements about straight lines, planes,circles, and spheres...