出处：按学科分类—综合性图书 五洲传播出版社《中国辞典》第154页（227字）
吴文俊(1919～ )，着名数学家。
现在是中国科学院系统科学研究所名誉所长。2000年度国家最高科学技术奖获得者。
他毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。
他的主要造就在于拓扑学和自动推理以及机器证明。他的算法被应用在许多符号计算软件中。他的示性类和示嵌类研究被国际数学界称为“吴公式”，“吴示性类”，“吴示嵌类”，至今仍被国际同行广泛引用，并已应用于国际上当前流行的符号计算软件方面。