0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: 图书分类 > 数学 > 应用数学 > 几何定理机器证明的几何不变量方法

浏览历史

几何定理机器证明的几何不变量方法


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
几何定理机器证明的几何不变量方法
  • 书号:9787030440662
    作者:
  • 外文书名:
  • 装帧:
    开本:
  • 页数:
    字数:
    语种:
  • 出版社:
    出版时间:
  • 所属分类:
  • 定价: ¥128.00元
    售价: ¥128.00元
  • 图书介质:
    按需印刷

  • 购买数量: 件  可供
  • 商品总价:

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

本书系统介绍了几何定理机器证明的几何不变量方法. 主要包括:基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法. 与基于坐标的几何定理机器证明方法(如吴(文俊)方法与Groebner基方法)相比, 基于几何不变量的几何定理机器证明方法可以产生较为简洁与可读的证明, 从而提高机器证明的质量. 作为应用, 该方法可以用来简化工程技术领域(如机器人、机构学、计算机视觉等)中出现的几何计算问题. 本书还介绍了几何定理机器证明的演绎数据库方法以及面积法在非欧几何中的推广.
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

  • 第1章几何定理机器证明概述1
    1.1模拟人的思维——人工智能的开始1
    1.2Gelernter的几何定理证明机4
    1.3几何定理机器证明的吴方法6
    1.4几何定理自动发现的吴方法12
    第1章小结13
    第2章15
    2.1传统的证明方法和机器证明的比较15
    2.2有向三角形的带号面积18
    2.2.1定理18
    2.2.2基本命题20
    2.3Hilbert交点命题24
    2.3.1命题的描述25
    2.3.2几何命题的谓词形式27
    2.4面积法29
    2.4.1从面积中消去点29
    2.4.2从比例中消去点31
    2.4.3自由点和面积坐标34
    2.4.4几何定理证明举例38
    2.4.5其他的消元技术44
    2.5面积法和仿射几何50
    2.5.1平面仿射几何51
    2.5.2面积法和仿射几何52
    2.6应用55
    2.6.1公式推导55
    2.6.2n3构型的存在性61
    2.6.3Ceva与Menelus定理的推广65
    第2章小结73
    第3章平面几何机器证明75
    3.1勾股差75
    3.1.1勾股差和垂直75
    3.1.2勾股差和平行78
    3.1.3勾股差和面积80
    3.2构造型几何命题82
    3.2.1线性构造型几何命题82
    3.2.2最小构造集合84
    3.2.3谓词形式85
    3.3线性可构型几何命题的机器证明87
    3.3.1算法87
    3.3.2优化的消去技巧93
    3.4比率构造96
    3.4.1更多的比率构造96
    3.4.2全角法的机械化104
    3.5面积坐标111
    3.5.1面积坐标系111
    3.5.2面积坐标和三角形的特殊点113
    3.6三角函数和共圆点120
    3.6.1共圆定理120
    3.6.2共圆点的消去123
    3.7可构型几何命题的机器证明130
    3.7.1从几何量中消点130
    3.7.2伪除法和三角形式133
    3.7.3可构型几何命题的机器证明136
    3.8基于演绎数据库的全角方法140
    3.8.1建立几何信息库141
    3.8.2基于几何信息库的机器证明145
    第3章小结153
    第4章演绎数据库方法155
    4.1结构化的演绎数据库和推理策略155
    4.1.1基于结构化数据的推理155
    4.1.2有关的工作156
    4.2几何推理规则157
    4.2.1几何推理规则158
    4.2.2非退化条件160
    4.2.3准确的数值图形的构造161
    4.3结构化数据库161
    4.3.1数据库的结构161
    4.3.2证明的生成163
    4.4搜索和控制的策略164
    4.4.1基于数据的搜索164
    4.4.2避免冗余推理166
    4.5构造辅助点和Skolem化168
    4.6算法的实现与例题169
    4.6.1算法的实现169
    4.6.2应用170
    4.6.3测试结果和例子171
    附录175
    第4章小结178
    第5章立体几何中的定理自动证明179
    5.1带号体积179
    5.1.1共面定理181
    5.1.2体积和平行183
    5.1.3体积与三维仿射几何185
    5.2构造型几何命题190
    5.2.1构造型几何命题190
    5.2.2构造型几何图形193
    5.3线性构造型几何命题的机器证明196
    5.3.1关于体积的消点法196
    5.3.2由面积比中消点199
    5.3.3由长度比中消点202
    5.3.4自由点和体积坐标206
    5.3.5例子208
    5.4空间中的勾股差215
    5.4.1勾股差与垂直215
    5.4.2勾股差与体积218
    5.5体积法220
    5.5.1算法221
    5.5.2例子223
    5.6体积坐标系230
    第5章小结234
    第6章非欧几何定理的机器证明236
    6.1Cayley-Klein九种平面几何236
    6.1.1直线上的三种度量236
    6.1.2角度的三种度量238
    6.1.3九种平面几何238
    6.2Cayley-Klein几何的转化定理245
    6.3双曲几何面积法252
    6.4双曲几何的消元法256
    6.4.1基本几何命题256
    6.4.2从比率中消去点258
    6.4.3从线性的几何量中消去点259
    6.4.4从二次几何量中消去点260
    6.4.5消去自由点261
    6.4.6消去共圆的点262
    6.5算法的实现与例子263
    第6章小结269
    第7章向量和机器证明270
    7.1三维度量空间几何270
    7.1.1内积和度量向量空间271
    7.1.2度量向量空间的外积275
    7.2立体度量几何277
    7.2.1内积和外积279
    7.2.2构造型几何语句281
    7.3基于向量计算的机器证明283
    7.3.1向量消点法283
    7.3.2从内积和外积中消点287
    7.3.3算法289
    7.4度量平面几何中的机器证明291
    7.4.1欧氏平面几何的向量方法292
    7.4.2Minkowsky平面几何中的机器证明296
    7.5使用复数的机器证明300
    第7章小结308
    参考文献310
    索引317
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证