注释 ⑴几何拓扑学是十九世纪形成的一门数学分支，拓扑学被称为“现代数学的女王”，属于几何学的范畴。上世纪50年代前后，吴文俊由繁化简、由难变易，提出“吴示性类”“吴公式”等，为拓扑学开辟了新的天地。 ⑵他提出的用计算机证明几何定理的方法。他以1977年发明的(定理证明)方法著称。他引入的求解非线性代数方程组的吴方法是求解代数方程组精确解最完整的方法之一，已经被成功地用于解决很多问题，并实现在当前流行的符号计算软件中。八十年代末，他提出了偏微分代数方程组的整序方法，是目前处理偏微分代数方程组的完整的构造性方法。他扩展了代数簇的通常局限无奇点情形的陈示性数于有任意奇点的陈类与陈数，且定义是可计算的，形成代数几何机械化的新篇章。他给出了多元多项式组的零点结构定理，这是构造性代数几何发展的重要标志。 ⑶吴文俊曾获得首届国家最高科技奖（2000年）、首届国家自然科学一等奖（1956年）、首届求是杰出科学家奖（1994年）、邵逸夫数学奖（2006年）、国际自动推理最高奖——埃尔布朗自动推理杰出成就奖（1997年）等。2010年，经国际天文学联合会小天体命名委员会批准，国际编号第7683号小行星被永久命名为“吴文俊星”。