吴文俊院士
  数学家  
  　　吴文俊 1919年5月12日生于上海。 上海交通大学数学系（1936-1940）获学士学位。 中央研究院数学研究院实习研究员（1946-1947）。 法国留学（1947-1951），1949得博士学位。 北京大学数学系教授（1951-1952） 中国科学院数学院研究院研究员（1953-1979）。 中国科学院系统科学院研究员（1980至今）。 获奖情况： 国家自然科学奖一等奖（1956）。第三世界科学院数学奖（1990）。陈嘉庚数理科学奖（1993）。 香港求是基金会杰出科学家奖（1994）。 Halnand自动推理奖（1997）。 国家最高科学技术奖(2001年）。 学术职务： 中国科学院数理学部学部委员（1956）。第三世界科学院院士（1991）。 研究领域：
  
 

  分角线相等的三角形
    作者：吴文俊 吕学礼 著  页数：51  出版日期：1985年01月第1版

  力学在几何中的一些应用
    作者：吴文俊  页数：26  出版日期：1962年06月第1版

  吴文俊文集
    作者：  页数：393  出版日期：1986年12月第1版

  吴文俊论数学机械化
    作者：  页数：659  出版日期：1996年07月第1版