-
数学机械化卷IV/吴文俊全集
¥101.1(7.9折)定价:¥128.0本卷收录了吴文俊的《几何定理机器证明的基本原理》一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书共分六章.前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题.第3章为几何定理证明的机
-
吴文俊全集:数学史卷:History of mathematics
¥101.1(7.9折)定价:¥128.0本书收录了《中国古代数学对世界文化的伟大贡献》《出入相补原理》《对中国传统数学的再认识》《我国古代测望之学重差理论评介——兼评数学史研究中某些方法问题》《在中外数学史讲习班开幕典礼上的讲话》《近年来中国数学史的研究》等文章...
五星书
浏览历史
-
社区质量体系与治理能力现代化研究
¥42.8¥75.0