计算机怎样解几何题 谈谈自动推理PDF格式文档图书下载
- 购买点数:9 点
- 作 者:张景中著
- 出 版 社:暨南大学出版社;清华大学出版社
- 出版年份:2000
- ISBN:7810299301
- 标注页数:195 页
- PDF页数:210 页
图书介绍
1 青出于蓝--计算机是人的好学生 1
1.1 计算机解题基本功 1
1.2 有了公式就好办 8
1.3 没有公式找算法 21
1.4 几何解题花样多 30
2 举一反三--举例验证几何命题 33
2.1 归纳和演绎的对立 33
2.2 用例子证明代数恒等式 35
2.3 一个例子证明的定理 43
2.4 用例证法发现新定理 48
2.5 数值并行法的一般实现 50
3 一网打尽--几何信息搜索系统 53
3.1 寻求传统几何的美 53
3.2 从例子找出方法 56
3.3 试用几何信息搜索系统 59
3.4 几何信息搜索系统的算法结构 66
3.5 讲究策略精益求精 69
3.6 全角方法的应用 75
3.7 一个几何信息搜索系统运动情形 83
4 顺藤摸瓜--解几何问题的消点法 89
4.1 几何知识的准备 89
4.2 一个简单的例子 96
4.3 解剖麻雀--建立消点算法 100
4.4 有向线段和带号面积 109
4.5 希尔伯特交点类问题 121
4.6 引进勾股差 133
4.7 复数和向量 146
5 步步为营--自动求解的代数方法 155
5.1 中国数学家的突破 155
5.2 领略吴氏代数方法 157
5.3 金字塔问题 168
6 后记--几何定理机器证明进展回顾 175
6.1 艰难的历程 175
6.2 重要的突破 178
6.3 与人工证明媲美 181
6.4 不等式的机器证明 185
6.5 研究展望和应用前景 189
参考文献 193
相关书籍
- 《计算机怎样解几何题 谈谈自动推理》张景中著 2000
- 《计算几何 算法设计、分析及应用 第5版》周培德著 2016
- 《几何游戏全集》智慧部落主编 2014
- 《谈谈几何中的证明》(苏)А.И.费齐索夫著;姬振豫译 1983
- 《微分几何与计算几何》刘根洪,何仁杰著 2000
- 《计算机辅助几何设计》 2222
- 《计算机辅助几何设计》李芳洁编 1985
- 《许莼舫初等几何四种 几何计算》 2222
- 《许莼舫初等几何四种 几何计算》 1978
- 《中国几何设计与计算新进展 2007第三届中国几何设计与计算大会论文集》张贵仓主编 2007
作者其它书籍
- 《实迭代》张景中,李浩著 1991
- 《从?2谈起》张景中著 1985
- 《数学与哲学》张景中著 1990
- 《帮你学几何》臧龙光,张景中著 1985
- 《教育数学探索》张景中著 1994
- 《帮你学集合》张景中著 1984
- 《平面几何新路》张景中著 1992
- 《面积关系帮你解题》张景中著 1982
- 《平面几何新路 基础研究》张景中著 1996
- 《函数迭代与一维动力系统》张景中,熊金城著 1992
出版社其它书籍
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《网络互联技术手册 第2版》(美)(K.唐斯)Kevin Downes等著;包晓露等译 1999
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016