- 题名/责任者:
- 计算机怎样解几何题:谈谈自动推理/张景中著
- 出版发行项:
- 广州:暨南大学出版社,2000
- ISBN及定价:
- 7-81029-930-1/CNY15.00
- 载体形态项:
- 14,195页;20cm
- 丛编项:
- 院士科普书系.第一辑;4
- 个人责任者:
- 张景中 著
- 学科主题:
- 定理证明
- 学科主题:
- 机器证明
- 学科主题:
- 平面几何-定理证明-机器证明-普及读物
- 学科主题:
- 平面几何
- 中图法分类号:
- TP181-49
- 一般附注:
- 国家重点图书
- 责任者附注:
- 张景中(1936～)，生于河南，中国科学院成都计算机应用研究所研究员，名誉所长，广州师范学院计算机教育软件研究所所长，著有《教育数学丛书》，《计算机怎样解几何题——谈谈自动推理》。
- 提要文摘附注:
- 本书结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。
全部MARC细节信息>>
化学工程学院