院士科普书系 计算机怎样解几何题 谈谈自动推理 作者：张景中著出版时间： 2000年版丛编项： 院士科普书系内容简介　　《计算机怎样解几何题：谈谈自动推理》结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。目录 1青出于蓝——计算机是人的好学生 1．1计算机解题基本功 1．2有了公式就好办 1．3没有公式找算法...