几何定理机器证明的几何不变量方法
批量上传，套装书可能不全，下单前咨询在线客服！ 正版书 ！！！
￥ 91.8 7.2折 ￥ 128 全新
仅1件
四川成都
认证卖家担保交易快速发货售后保障
作者张景中，高小山，周咸青
出版社科学出版社
ISBN9787030440662
出版时间2018-03
四部分类子部>艺术>书画
装帧精装
开本16开
定价128元
货号23705310
上书时间2024-10-21
商品详情
- 品相描述：全新
- 商品描述
-
导语摘要
本书系统介绍了几何定理机器证明的几何不变量方法.主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法.与基于坐标的几何定理机器证明方法(如吴(文俊)方法与Groebner基方法)相比,基于几何不变量的几何定理机器证明方法可以产生较为简洁与可读的证明,从而提高机器证明的质量.作为应用,该方法可以用来简化工程技术领域(如机器人、机构学、计算机视觉等)中出现的几何计算问题.本书还介绍了几何定理机器证明的演绎数据库方法以及面积法在非欧几何中的推广.
内容摘要
本书系统介绍了几何定理机器证明的几何不变量方法.主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法.与基于坐标的几何定理机器证明方法(如吴(文俊)方法与Groebner基方法)相比,基于几何不变量的几何定理机器证明方法可以产生较为简洁与可读的证明,从而提高机器证明的质量.作为应用,该方法可以用来简化工程技术领域(如机器人、机构学、计算机视觉等)中出现的几何计算问题.本书还介绍了几何定理机器证明的演绎数据库方法以及面积法在非欧几何中的推广.
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价