扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
宇宙、量子和人类心灵
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
声音简史
-
>
浪漫地理学:追寻崇高景观
买过本商品的人还买了
几何定理机器证明的几何不变量方法 版权信息
- ISBN：9787030440662
- 条形码：9787030440662 ; 978-7-03-044066-2
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
几何定理机器证明的几何不变量方法 本书特色
《几何定理机器证明的几何不变量方法》系统介绍了几何定理机器证明的几何不变量方法. 主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法. 与基于坐标的几何定理机器证明方法(如吴(文俊)方法与groebner基方法)相比, 基于几何不变量的几何定理机器证明方法可以产生较为简洁与可读的证明, 从而提高机器证明的质量. 作为应用, 该方法可以用来简化工程技术领域(如机器人、机构学、计算机视觉等)中出现的几何计算问题. 《几何定理机器证明的几何不变量方法》还介绍了几何定理机器证明的演绎数据库方法以及面积法在非欧几何中的推广.
几何定理机器证明的几何不变量方法 内容简介
《几何定理机器证明的几何不变量方法》可以作为数学、计算机科学以及相关工程领域的科研人员、教师以及研究生了解几何定理机器证明几何不变量方法的参考书, 也可以作为高等院校与中学教师进行几何教育改革的参考书.
几何定理机器证明的几何不变量方法 目录
第1章 几何定理机器证明概述
1.1 模拟人的思维——人工智能的开始
1.2 gelernter的几何定理证明机
1.3 几何定理机器证明的吴方法
1.4 几何定理自动发现的吴方法
第1章小结、
第2章 面积法
2.1 传统的证明方法和机器证明的比较
2.2 有向三角形的带号面积
2.2.1 公理
2.2.2基本命题
2.3 hilbett交点命题
2.3.1 命题的描述
2.3.2 几何命题的谓词形式
2.4 面积法
2.4.1 从面积中消去点
2.4.2 从比例中消去点
2.4.3 自由点和面积坐标
2.4.4 几何定理证明举例
2.4.5 其他的消元技术
2.5 面积法和仿射几何
2.5.1 平面仿射几何
2.5.2 面积法和仿射几何
2.6 应用
2.6.l 公式推导
2.6.2 n3构型的存在性
2.6.3 ceva.与menelus定理的推广
第2章小结
第3章 平面几何机器证明
3.1 勾股差
3.1.1 勾股差和垂直
3.1.2 勾股差和平行
3.1.3 勾股差和面积
3.2 构造型几何命题
3.2.1 线性构造型几何命题
3.2.2 *小构造集合
3.2.3 谓词形式
3.3 线性可构型几何命题的机器证明
3.3.1 算法
3.3.2 优化的消去技巧
3.4 比率构造
3.4.1 更多的比率构造
3.4.2 全角法的机械化
3.5 面积坐标
3.5.1 面积坐标系
3.5.2 面积坐标和三角形的特殊点
3.6 三角函数和共圆点
3.6.1 共圆定理
3.6.2 共圆点的消去
3.7 可构型几何命题的机器证明
3.7.1 从几何量中消点
3.7.2 伪除法和三角形式
3.7.3 可构型几何命题的机器证明
3.8 基于演绎数据库的全角方法
3.8.1 建立几何信息库
3.8.2 基于几何信息库的机器证明
第3章小结
第4章 演绎数据库方法
4.1 结构化的演绎数据库和推理策略
4.1.1 基于结构化数据的推理
4.1.2 有关的工作
4.2 几何推理规则
4.2.1 几何推理规则
4.2.2 非退化条件
4.2.3 准确的数值图形的构造
4.3 结构化数据库
4.3.1 数据库的结构
4.3.2 证明的生成
4.4 搜索和控制的策略
4.4.1 基于数据的搜索
4.4.2 避免冗余推理
4.5 构造辅助点和s：kolem化
4.6 算法的实现与例题
4.6.1 算法的实现
4.6.2 应用
4.6.3 测试结果和例子
附录
第4章小结
第5章 立体几何中的定理自动证明
5.1 带号体积
5.1.1 共面定理
5.1.2 体积和平行
5.1.3 体积与三维仿射几何
5.2 构造型几何命题
5.2.1 构造型几何命题
5.2.2 构造型几何图形
5.3 线性构造型几何命题的机器证明
5.3.1 关于体积的消点法
5.3.2 由面积比中消点
5.3.3 由长度比中消点
5.3.4 自由点和体积坐标
5.3.5 例子
5.4 空间中的勾股差
5.4.1 勾股差与垂直
5.4.2 勾股差与体积
5.5 体积法
5.5.1 算法
5 2件，!子5
5.6 体积坐标系
第5章小结
第6章 非欧几何定理的机器证明
6.1 caylcy—klein九种平面几何
6.1.1 直线上的三种度量
6.1.2 角度的三种度量
6.1.3 九种平面几何
6.2 caylcy—klein几何的转化定理
6.3 双曲几何面积法
6.4 双曲几何的消元法
6.4.1 基本几何命题
6.4.2 从比率中消去点
6.4.3 从线性的几何量中消去点
6.4.4 从二次几何量中消去点
6.4.5 消去自由点
6.4.6 消去共圆的点
6.5 算法的实现与例子
第6章小结
第7章 向量和机器证明
7.1 三维度量空间几何
7.1.1 内积和度量向量空间
7.1.2 度量向量空间的外积一
7.2 立体度量几何
7.2.1 内积和外积
7.2.2 构造型几何语句
7.3 基于向量计算的机器证明
7.3.1 向量消点法
7.3.2 从内积和外积中消点
7.3.3算法
7.4 度量平面几何中的机器证明
7.4.1 欧氏平面几何的向量方法
7.4.2 minkowsky平面几何中的机器证明
7.5 使用复数的机器证明
第7章小结
参考文献
索引
1.1 模拟人的思维——人工智能的开始
1.2 gelernter的几何定理证明机
1.3 几何定理机器证明的吴方法
1.4 几何定理自动发现的吴方法
第1章小结、
第2章 面积法
2.1 传统的证明方法和机器证明的比较
2.2 有向三角形的带号面积
2.2.1 公理
2.2.2基本命题
2.3 hilbett交点命题
2.3.1 命题的描述
2.3.2 几何命题的谓词形式
2.4 面积法
2.4.1 从面积中消去点
2.4.2 从比例中消去点
2.4.3 自由点和面积坐标
2.4.4 几何定理证明举例
2.4.5 其他的消元技术
2.5 面积法和仿射几何
2.5.1 平面仿射几何
2.5.2 面积法和仿射几何
2.6 应用
2.6.l 公式推导
2.6.2 n3构型的存在性
2.6.3 ceva.与menelus定理的推广
第2章小结
第3章 平面几何机器证明
3.1 勾股差
3.1.1 勾股差和垂直
3.1.2 勾股差和平行
3.1.3 勾股差和面积
3.2 构造型几何命题
3.2.1 线性构造型几何命题
3.2.2 *小构造集合
3.2.3 谓词形式
3.3 线性可构型几何命题的机器证明
3.3.1 算法
3.3.2 优化的消去技巧
3.4 比率构造
3.4.1 更多的比率构造
3.4.2 全角法的机械化
3.5 面积坐标
3.5.1 面积坐标系
3.5.2 面积坐标和三角形的特殊点
3.6 三角函数和共圆点
3.6.1 共圆定理
3.6.2 共圆点的消去
3.7 可构型几何命题的机器证明
3.7.1 从几何量中消点
3.7.2 伪除法和三角形式
3.7.3 可构型几何命题的机器证明
3.8 基于演绎数据库的全角方法
3.8.1 建立几何信息库
3.8.2 基于几何信息库的机器证明
第3章小结
第4章 演绎数据库方法
4.1 结构化的演绎数据库和推理策略
4.1.1 基于结构化数据的推理
4.1.2 有关的工作
4.2 几何推理规则
4.2.1 几何推理规则
4.2.2 非退化条件
4.2.3 准确的数值图形的构造
4.3 结构化数据库
4.3.1 数据库的结构
4.3.2 证明的生成
4.4 搜索和控制的策略
4.4.1 基于数据的搜索
4.4.2 避免冗余推理
4.5 构造辅助点和s：kolem化
4.6 算法的实现与例题
4.6.1 算法的实现
4.6.2 应用
4.6.3 测试结果和例子
附录
第4章小结
第5章 立体几何中的定理自动证明
5.1 带号体积
5.1.1 共面定理
5.1.2 体积和平行
5.1.3 体积与三维仿射几何
5.2 构造型几何命题
5.2.1 构造型几何命题
5.2.2 构造型几何图形
5.3 线性构造型几何命题的机器证明
5.3.1 关于体积的消点法
5.3.2 由面积比中消点
5.3.3 由长度比中消点
5.3.4 自由点和体积坐标
5.3.5 例子
5.4 空间中的勾股差
5.4.1 勾股差与垂直
5.4.2 勾股差与体积
5.5 体积法
5.5.1 算法
5 2件，!子5
5.6 体积坐标系
第5章小结
第6章 非欧几何定理的机器证明
6.1 caylcy—klein九种平面几何
6.1.1 直线上的三种度量
6.1.2 角度的三种度量
6.1.3 九种平面几何
6.2 caylcy—klein几何的转化定理
6.3 双曲几何面积法
6.4 双曲几何的消元法
6.4.1 基本几何命题
6.4.2 从比率中消去点
6.4.3 从线性的几何量中消去点
6.4.4 从二次几何量中消去点
6.4.5 消去自由点
6.4.6 消去共圆的点
6.5 算法的实现与例子
第6章小结
第7章 向量和机器证明
7.1 三维度量空间几何
7.1.1 内积和度量向量空间
7.1.2 度量向量空间的外积一
7.2 立体度量几何
7.2.1 内积和外积
7.2.2 构造型几何语句
7.3 基于向量计算的机器证明
7.3.1 向量消点法
7.3.2 从内积和外积中消点
7.3.3算法
7.4 度量平面几何中的机器证明
7.4.1 欧氏平面几何的向量方法
7.4.2 minkowsky平面几何中的机器证明
7.5 使用复数的机器证明
第7章小结
参考文献
索引
展开全部
几何定理机器证明的几何不变量方法 作者简介
张景中，中国科学院院士。现任广州大学计算机教育软件研究所所长。主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。
书友推荐
- >
诗经-先民的歌唱
诗经-先民的歌唱
¥20.3¥39.8 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥32.4¥49.8 - >
李白与唐代文化
李白与唐代文化
¥11.3¥29.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥20.3¥58.0 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥13.0¥24.0 - >
史学评论
史学评论
¥23.5¥42.0 - >
推拿
推拿
¥12.2¥32.0
本类畅销
-
几何原本
¥50.6¥93.6 -
平面几何天天练-下卷.提高篇
¥25.9¥58 -
几何原本
¥37¥69.8 -
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68
