吴文俊全集 数学机械化 2

本卷由吴文俊的书Machanical Theoren Provingin Goemetries组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。吴文俊,研究员,中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长。中国科学院院士，第三世界科学院院士，中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长，中国数学机械化研究的创始人之一，首届国家最高科学技术奖的获得者。