搜索结果: 1-1 共查到“信息科学与系统科学 Geometry theorem proving”相关记录1条 . 查询时间(0.046 秒)
A method for mechanical geometry theorem proving is presented. By using this method, if the ascending chains derived via Wu-Ritt's well ordering algorithm satisfy a condition, all the irreducible char...