吴文俊 Wu Wenjun

简历 ：1919年5月12日生于上海，祖籍浙江嘉兴。2017年5月7日逝世于北京。数学家。1940年毕业于上海交通大学数学系。1949年获法国国家博士学位。1951年回国。1957年被选聘为中国科学院院士（学部委员）。1992年当选为第三世界科学院院士。曾任北京大学数学系教授，中科院数学研究所研究员、系统科学研究所副所长、名誉所长，第六至八届全国政协常委，中国数学会理事长，中科院系统科学研究所数学机械化研究中心主任，中科院数理学部主任。

主要成就 ：中国数学机械化研究的创始人之一。1950年发表关于流形上施替费尔—惠特尼示性类的论文，在示性类、示嵌类等研究方面取得一系列突出成果，后统称吴示性类、吴示嵌类与吴公式，至今仍被国际同行广泛引用，影响深远。60年代独创性发现了新的拓扑不变量，具有深刻的理论意义。70年代创立了定理机器证明的“吴方法”，影响巨大，已被应用于国际上当前流行的符号计算软件方面，具有重要的应用价值。1956年获国家首届自然科学奖一等奖。2000年获首届国家最高科学技术奖。

著作和论文 ：
A theory of imbedding, immersion, and isotopy of polytopes in an Euclidean space  科学出版社  1965年
《可剖形在欧氏空间中的实现问题》  科学出版社  1974年
《几何定理机器证明的基本原理》  科学出版社  1984年
《吴文俊论数学机械化》  山东教育出版社  1996年