★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝,无需注册直接付费后((弹出错误页面服务器忙,请稍等再试))不要关闭页面待页面电脑PC自动刷新(手机端需从支付宝页面按手机浏览器左上角返回键回到本页面,再自行手动刷新网页,推荐电脑访问)显示下载链接!不推荐edge等太高级的浏览器下载链接会阻拦,推荐迅雷、IDM等工具!请立刻及时下载(另存为)以免下次访问失效!如果有问题请在页面底部留言反馈(留下你的邮箱,仅限邮件交流,或在文章中更新交代回复)!部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办:点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心?你可以花1元购买美女短视频体验交易流程:点击这里,或者花2元预览资源截图或电子书内页:点击这里
PDF扫描版和图文版的区别,以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择:点击这里
本文链接:
https://www.lifu.me/book-00051.html
文件大小:048.67 MB 几何定理机器证明的几何不变量方法
下载地址:
几何定理机器证明的几何不变量方法
作者:张景中,高小山,周咸青出版社:科学出版社出版时间:2018年03月
开 本:16开纸 张:包 装:圆脊精装是否套装:否国际标准书号ISBN:9787030440662丛书名:数学机械化丛书12
所属分类:
图书>自然科学>数学>几何与拓扑
编辑推荐
《几何定理机器证明的几何不变量方法》可以作为数学、计算机科学以及相关工程领域的科研人员、教师以及研究生了解几何定理机器证明几何不变量方法的参考书, 也可以作为高等院校与中学教师进行几何教育改革的参考书.
内容简介
《几何定理机器证明的几何不变量方法》系统介绍了几何定理机器证明的几何不变量方法. 主要包括:基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法. 与基于坐标的几何定理机器证明方法(如吴(文俊)方法与Groebner基方法)相比, 基于几何不变量的几何定理机器证明方法可以产生较为简洁与可读的证明, 从而提高机器证明的质量. 作为应用, 该方法可以用来简化工程技术领域(如机器人、机构学、计算机视觉等)中出现的几何计算问题. 《几何定理机器证明的几何不变量方法》还介绍了几何定理机器证明的演绎数据库方法以及面积法在非欧几何中的推广.