本卷收录了吴文俊在数学机械化领域发表的56论文篇。内容包括：几何定理机器证明的吴方法，多项式系统符号求...
2019.5
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研...
2019.5
本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师...
2019.5
《吴文俊全集·数学机械化III》是由吴文俊的书《数学机械化》组成的。本书可以作为数学与相关领域研究人员、...
2019.5
《吴文俊全集·数学机械化I》由吴文俊先生的英文书MathematicsMechanization组成。本书可作为数学与相关领域...
2019.5