7年获自动推理领域最高奖埃尔布朗奖；2000年获中华人民共和国国家最高科学技术奖；2006年获邵逸夫奖数学科学奖。编号第7683号小行星被永久命名为“吴文俊星”。
吴公式.吴公式是：formula_1Sq是的。也参见陈类。