几何问题的机器求解
To Solve Some Geometry Problems by Means of Machine作者机构：广州师范学院软件所教授广州510400 中国科学院院士
出 版 物：《科学》 (Science)
年 卷 期：2001年第53卷第2期
页 面：20-23页
学科分类：07[理学] 08[工学] 0835[工学-软件工程] 0701[理学-数学] 070101[理学-基础数学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：几何问题 几何定理 数学机械化 机械化解题 机器求解 软件
摘 要：1998年,市场上出现了能证明几何定理的软件,能解决许多和中学课程范围内的题目难度相当的问题,并能给出传统风格的、易于理解的解答。近年来中国人的工作在其中起了决定性的作用。艰难的历程用机械的方法(即有章可循的固定算法)解决千变万化的几何问题,曾是历史上一些卓越科学家的梦想。笛卡儿(***)发明了坐标方法。
维普期刊数据库
同方期刊数据库