吴文俊著；高小山编订2019 年出版234 页ISBN：9787508855530
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士，第三世界科学院院士，中...
吴文俊著；高小山编订2019 年出版288 页ISBN：9787508855516
本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究...
吴文俊著1996 年出版659 页ISBN：7532822672
本书是一本比较通俗的写作的汇集，这些写作围绕着数学机械化这一主题，结合有关的史实研讨，反映了作者对整个数学的认识，作者思想的实质，以及作者对发展数学的主张与意图。...
吴文俊著；李文林编订2019 年出版180 页ISBN：9787508855554
本书收载了吴文俊的全部数学史论著，包括作者的第一篇数学史论文《中国古代数学对世界文化的伟大贡献》、被引用频率最高的数学史论文之一《出入相补原理》、在国际数学家大会上的邀请报告等。这些论著一个贯...
吴文俊著；李文林编订2019 年出版223 页ISBN：9787508855561
本书收载了吴文俊的全部数学史论著，包括作者的第一篇数学史论文《中国古代数学对世界文化的伟大贡献》、被引用频率最高的数学史论文之一《出入相补原理》、在国际数学家大会上的邀请报告等。这些论著一个贯...
吴文俊著；李邦河编订2019 年出版298 页ISBN：9787508855578
《吴文俊全集·拓扑学卷III》收录由吴文俊先生生前出版的图书《可剖形在欧氏空间中的实现问题》。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊先生是...
