搜索结果: 1-1 共查到“几何学 SEARCH METHODS”相关记录1条 . 查询时间(0.1 秒)
In this chapter, we review the work of automated geometry theorem proving based on heuristic search methods and report some recent advances in this direction, especially the geometry deductive databas...