吴文俊全集 数学机械化卷I 作者：吴文俊 著；高小山编订 出版时间：2019年版内容摘要本卷收录了吴文俊的Mathematics Mechanization:Mechanical Geometry Theorem-Proving，Mechanical Geometry Problem-Solving and Polynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理...

上一篇：小升初数学双语辅导手册 苏晨杰 2016年版
下一篇：吴文俊全集 数学机械化卷 III 吴文俊 著；高小山编订 2019年版