搜索结果: 1-1 共查到“系统工程方法论 inequalities”相关记录1条 . 查询时间(0.031 秒)
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...