数学界泰斗

在浩瀚的太空中,国际永久编兮第七六八三号小行星熠熠生辉、璀燦夺目,它就是'吴文俊星'。吴文俊,我国著名数学家,穷其一生,站在数学科学前沿,潜心研究,與于探索,取得了一系列原创性成就:他引进的示性类和示嵌类被称为'吴示性类'和'吴示嵌类',他导出的示性类之间的关系式被称为'吴公式',他开创了崭新的数学机械化领域,提出了用计算机证明儿何定理的'吴方法'。他也是我国最具国际影响的数学家之一,他的工作对数学与计算机科学研究影响深远。