广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算机怎样解几何题:谈谈自动推理/张景中著

出版发行项:

广州:暨南大学出版社,2000

ISBN及定价:

7-81029-930-1/CNY15.00

载体形态项:

14,195页;20cm

丛编项:

院士科普书系.第一辑;4

个人责任者:

张景中 著

学科主题:

平面几何-定理证明-机器证明-普及读物

学科主题:

平面几何

学科主题:

定理证明

学科主题:

机器证明

中图法分类号:

O123.1-49

一般附注:

国家重点图书

责任者附注:

张景中(1936～)，生于河南，中国科学院成都计算机应用研究所研究员，名誉所长，广州师范学院计算机教育软件研究所所长，著有《教育数学丛书》，《计算机怎样解几何题——谈谈自动推理》。

提要文摘附注:

本书结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。

豆瓣简介：