本书是作者几十年在数学基础理论方面研究的成果，包括四篇论文，内容包括数列、素数、级数、极限等，内容严...
2009.01
本卷收录了吴文俊在数学机械化领域发表的56论文篇。内容包括：几何定理机器证明的吴方法，多项式系统符号求...
2019.5
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研...
2019.5
本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师...
2019.5
《吴文俊全集·数学机械化III》是由吴文俊的书《数学机械化》组成的。本书可以作为数学与相关领域研究人员、...
2019.5
《吴文俊全集·数学机械化I》由吴文俊先生的英文书MathematicsMechanization组成。本书可作为数学与相关领域...
2019.5
本书是法国哲学、科学、数学大家彭加勒最后一部重要的科学哲学著作。
2009.06