搜索结果: 1-1 共查到“信息科学与系统科学 equation solving”相关记录1条 . 查询时间(0.046 秒)
This is the third paper of the series entitled “A mechanization method of geometryand its applications”, cf.[WU3—5]. In the present paper it is shown how inequalities can be proved by means of the aut...