吴文俊全集 数学机械化 2 出版时间： 2019年版丛编项： 国家出版基金项目内容简介本卷收录了吴文俊的Mechanical Theorem Provingin Geometries：Basic Principles一书。《吴文俊全集·数学机械化II》论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械...

上一篇：现代数学中的流形理论纯粹数学与应用数学研究专著
下一篇：我的第一本趣味数学书 第2版