张景中科普文集：计算机怎样解几何题

图书标准信息

• 作者 张景中 著
• 出版社 湖北科学技术出版社
• 出版时间 2017-08
• 版次 1
• ISBN 9787535295323
• 定价 42.00元
• 装帧 精装
• 开本 16开
• 纸张 胶版纸
• 页数 154页
• 字数 150千字
• 正文语种 简体中文
• 丛书 张景中科普文集

【内容简介】

　　《张景中科普文集：计算机怎样解几何题》计算机如何能证明几何定理并发现新的定理呢？是因为有人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题。

【作者简介】

张景中（1936- ）河南省汝南县人。曾用名井中。1954年进入北京大学数学力学系学习，1979年任中国科学技术大学数学系讲师，1981年升为副教授。1958年起在中国科学院成都分院工作，任数理科学研究室主任、研究员。计算机科学家、数学家和数学教育学家。1995年10月当选中国科学院院士。中共党员，中国科学院院士，现任广州大学计算机教育软件研究所所长，重庆邮电大学计算机科学与技术学院院长、计算机学科和数学学科博士生导师、中国科普作家协会理事长。中国科学院成都计算机应用研究所名誉所长，江西城市学院名誉校长、学术委员会主任。1991年开始享受政府特殊津贴。1995年当选为中国科学院院士。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。2006年3月任江西城市学院名誉校长、学术委员会主任。2011年，被新成立的南方科技大学聘请讲授数学，旨在培养数学人才。

【目录】

一、 青出于蓝——计算机是人的好学生

1．1 计算机解题基本功

1．2 有了公式就好办

1．3 没有公式找算法

1．4 几何解题花样多

二、举一反三——举例验证几何命题

2．1 归纳和演绎的对立

2．2 用例子证明代数恒等式

2．3 -个例子证明的定理

2．4 用例证法发现新定理

2．5 数值并行法的一般实现

三、一网打尽——几何信息搜索系统

3．1 寻求传统几何的美

3．2 从例子找出方法

3．3 试用几何信息搜索系统

3．4 几何信息搜索系统的算法结构

3．5 讲究策略精益求精

3．6 全角方法的应用

3．7 一个几何信息搜索系统运行情形

四、顺藤摸瓜——解几何问题的消点法

4．1 几何知识的准备

4．2 -个简单的例子

4．3 解剖麻雀一一建立消点算法

4．4 有向线段和带号面积

4．5 希尔伯特交点类问题

4．6 引进勾股差

4．7 复数和向量

五、 步步为营——自动求解的代数方法

5．1 中国数学家的突破

5．2 领略吴氏代数方法

5．3 金字塔问题

六、后记——几何定理机器证明进展回顾

6．1 艰难的历程

6．2 重要的突破

6．3 与人工证明媲美

6．4 不等式的机器证明

6．5 研究展望和应用前景