本站付费内容24小时可见(不推荐edge等太高级的浏览器会阻拦下载,要设置通过或复制链接用迅雷或IDM或其他浏览器下载),请及时下载、保存信息!可以右击另存为保存!
文件大小:109.73 MB 吴文俊全集-数学机械化卷 Ⅱ
下载地址:
吴文俊全集(数学机械化卷Ⅱ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月
开 本:16开
纸 张:胶版纸
包 装:平装-胶订
是否套装:否
国际标准书号ISBN:9787508855516
所属分类:
图书>自然科学>数学>应用数学
内容简介
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。
Read more吴文俊全集《数学机械化卷 Ⅱ》电子版pdf