陈省身与中国数学

　　陈省身先生不仅是数学上的一代宗师，而且为中国数学跃升至世界水平作出了巨大贡献。陈先生先后在国内主持与创办了两个数学研究所，培养了一大批优秀的青年数学家，使我国的数学能与西方平起平坐，一争雄长，并为21世纪中叶我国数学从大国跃升为强国创造了条件。本文集收集了先生的许多学生、友好与追随者的纪念文章，先生伟大的一生，将为后世所永志不忘。

　　吴文俊（WentsunWU），男，1919年5月12日生于上海，1940年毕业于交通大学（上海交通大学），1949年获法国国家博士学位。世界著名数学家，中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长，中国数学会名誉理事长。中国数学机械化研究的创始人之一，现任中国科学院系统科学研究所名誉所长、研究员，中国科学院院士，第三世界科学院院士；曾任中国数学会理事长（1985-1987），中国科学院数理学部主任（1992-1994），全国政协委员、常委（1979-1998）。他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献，在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响，有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。葛墨林，理论物理学家。1938年生于北京。1961年毕业于兰州大学物理系，1965年兰州大学理论物理研究生毕业。现任南开大学教授、博士生导师、南开大学数学所副所长，国务院学位委员会物理、天文学科组成员，亚太地区理论物理中心一般委员会成员等。