人物履歷
生平
吳文俊(Wentsun WU)，男，祖籍浙江嘉興，1919年5月12日出生于中國上海，數(shù)學(xué)家。吳文俊的研究工作涉及到數(shù)學(xué)的諸多領(lǐng)域其主要成就表現(xiàn)在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化兩個領(lǐng)域。他為拓?fù)鋵W(xué)做了奠基性的工作。他的示性類和示嵌類研究被國際數(shù)學(xué)界稱為“吳公式”、“吳示性類”、“吳示嵌類”至今仍被國際同行廣泛引用。
吳文俊畢業(yè)于交通大學(xué)，1949年獲得法國斯特拉斯堡大學(xué)博士學(xué)位。70年代后期，在計算機(jī)技術(shù)大發(fā)展的背景下，他繼承和發(fā)展了中國古代數(shù)學(xué)的傳統(tǒng)(即算法化思想)，轉(zhuǎn)而研究幾何定理的機(jī)器證明，徹底改變了這個領(lǐng)域的面貌，是國際自動推理界先驅(qū)性的工作，被稱為吳特征列方法，產(chǎn)生了巨大影響。吳的研究取得了一系列國際領(lǐng)先成果并已應(yīng)用于國際上當(dāng)前流行的符號計算軟件方面。
吳文俊現(xiàn)在是中國科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長，他獲得多項國內(nèi)外獎，1997年獲自動推理領(lǐng)域最高獎Herbrand Award[1]，2006年獲邵逸夫獎數(shù)學(xué)科學(xué)獎。
編號第7683號小行星被永久命名為“吳文俊星”。
吳文俊1940年畢業(yè)于交通大學(xué)數(shù)學(xué)系，1949年獲法國國家博士學(xué)位。世界著名數(shù)學(xué)家， 中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽(yù)所長，中國數(shù)學(xué)會名譽(yù)理事長。中國數(shù)學(xué)機(jī)械化研究的創(chuàng)始人之一，現(xiàn)任中國科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長、研究員，中國科學(xué)院院士，第三世界科學(xué)院院士；曾任中國數(shù)學(xué)會理事長（1985-1987），中國科學(xué)院數(shù)理學(xué)部主任（1992-1994），全國政協(xié)委員、常委（1979-1998）。
他在拓?fù)鋵W(xué)、自動推理、機(jī)器證明、代數(shù)幾何、中國數(shù)學(xué)史、對策論等研究領(lǐng)域均有杰出的貢獻(xiàn)，在國內(nèi)外享有盛譽(yù)。他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得一系列重要成果，是拓?fù)鋵W(xué)中的奠基性工作并有許多重要應(yīng)用。他的“吳方法”在國際機(jī)器證明領(lǐng)域產(chǎn)生巨大的影響，有廣泛重要的應(yīng)用價值。當(dāng)前國際流行的主要符號計算軟件都實(shí)現(xiàn)了吳文俊教授的算法。
曾獲得首屆國家自然科學(xué)一等獎(1956)、中國科學(xué)院自然科學(xué)一等獎(1979)、第三世界科學(xué)院數(shù)學(xué)獎(1990)、陳嘉庚數(shù)理科學(xué)獎(1993)、首屆香港求是科技基金會杰出科學(xué)家獎(1994)、Herbrand自動推理杰出成就獎(1997)、首屆國家最高科學(xué)技術(shù)獎(2000)、第三屆邵逸夫數(shù)學(xué)獎(2006)。
2010年5月4日，國際小行星中心先后發(fā)布公報通知國際社會，將國際永久編號第7683號小行星永久命名為“吳文俊星”。
經(jīng)歷
1940-1945年先后在育英中學(xué)，培真中學(xué)，南洋模范女中，之江大學(xué)教書；期間曾失業(yè)半年
1946年年初到上海臨時大學(xué)任鄭太樸教授的助手，8月陳省身吸收吳文俊到數(shù)學(xué)所任助理研究員
1947-1949年攻讀法國國家博士學(xué)位
1947年完成一項重要拓?fù)鋵W(xué)研究，證明Whitney乘積公式和對偶定理，1948年在Annalsof Math上發(fā)表
1948年1947年11月赴法留學(xué)在Strassbourg大學(xué)跟隨C.Ehresmann學(xué)習(xí)
1948年開始參加CNRS研究工作初任Attaché de recherches,1951年升為Changé de Recherches
1949年完成“論球叢空間結(jié)構(gòu)的示性類”的博士論文，論文于1952年單行本發(fā)表
1949年去蘇黎世訪問獲法國國家博士學(xué)位
1949年夏去巴黎，跟隨H.Cartan繼續(xù)研究拓?fù)鋵W(xué)
1950年與Thom合作發(fā)表關(guān)于流形上Stiefel-Whitney示性類的論文，后通稱為吳類與吳公式
1951年8月回到中國，在北京大學(xué)數(shù)學(xué)系任教授
1952年10月到新建數(shù)學(xué)研究所任研究員
1954年開始非同倫性拓?fù)洳蛔兞康难芯浚纱艘胧厩额惒㈤_展復(fù)合形嵌入、浸入與同胚的研究
1956年赴蘇聯(lián)參加全蘇第三屆數(shù)學(xué)家大會做Pontrjagin示性類報告，受到好評
1956年隨同陳建功、程民德教授訪問始同國外學(xué)術(shù)界恢復(fù)聯(lián)系，陳省身等華裔數(shù)學(xué)羅馬尼亞
1956年隨同蘇步青教授訪問保加利亞
1957年去波蘭、東德、法國訪問
1958年在巴黎大學(xué)講課系統(tǒng)介紹示嵌類的工作，對于Haefliger等人有很大影響。
1958年“理論聯(lián)系實(shí)際”的運(yùn)動中，拓?fù)鋵W(xué)研究中斷，開始對策論的研究
1959年為中國科技大學(xué)力學(xué)系一年級講微積分
1960年9月?lián)沃袊萍即髮W(xué)數(shù)學(xué)系60級學(xué)生主教教師，講授微積分
1962年開始對奇點(diǎn)理論進(jìn)行研究。對中學(xué)生作科普講座力學(xué)在幾何中的一些應(yīng)用，并由江嘉禾記錄成書由人民教育出版社出版
1963年科大60級設(shè)立幾何拓?fù)鋵I(yè)，首次在科大開出代數(shù)幾何學(xué)專門化課程，并由岳景中講授代數(shù)拓?fù)鋵W(xué)
1965年由科學(xué)出版社出版示嵌類理論的英文版，書名A theory of imbedding,immersion,and isotopy of polytopesinan Euclideanspace
1967年完成“示嵌類理論在布線問題上的應(yīng)用”
1972年中國開家開始回國講學(xué)。美國拓?fù)鋵W(xué)家Browder,Peterson,Spencer等訪華，獲得他們與其他國外學(xué)者如Smale等贈送的資料，使拓?fù)溲芯恐匦麻_始
1973年數(shù)學(xué)所拓?fù)浣M開始關(guān)于有理同倫論的討論班，吳文俊開始其I*函子理論的研究
1974年英文示嵌類理論的中文版由科學(xué)出版社出版，書名為《可剖形在歐氏空間中的實(shí)現(xiàn)問題》，加上布線問題的一個附錄
1974年開始對中國數(shù)學(xué)史感興趣，進(jìn)行一系列中國數(shù)學(xué)史的研究，并以顧[古]今用的筆名，寫成“中國古代數(shù)學(xué)對世界文化的偉大貢獻(xiàn)”一文，明確推出“近代數(shù)學(xué)之所以能夠發(fā)展到今天，主要是靠中國[式]的數(shù)學(xué)，而非希臘[式]的數(shù)學(xué)，決定數(shù)學(xué)歷史發(fā)展進(jìn)程的主要是靠中國[式]的數(shù)學(xué)，而非希臘[式]的數(shù)學(xué)”，該文發(fā)表于數(shù)學(xué)學(xué)報1975年第18期。
1976年末開始定理機(jī)械化證明的研究，于次年春節(jié)期間取得成功
1977年首次發(fā)表定理的機(jī)械化證明的論文，由此開辟全新的方向。
1978年撰寫“數(shù)學(xué)概況及其發(fā)展”一文，發(fā)表于科學(xué)出版社的《現(xiàn)代科學(xué)技術(shù)簡介》一書，文中提出了腦力勞動機(jī)械化，但于刊印時被刪去。
1978年發(fā)表微分幾何定理的機(jī)械化證明，在全國自然辯證法講習(xí)會上提出數(shù)學(xué)機(jī)械化問題
1979年應(yīng)邀去美國普林斯頓高等研究院訪問，并訪問Rockefeller大學(xué)，Columbia大學(xué)，JohnsHopkins大學(xué)，MIT，Philadelphia大學(xué)，Brandlis大學(xué)，加州大學(xué)Berkeley分校，應(yīng)邀去加州大學(xué)Berkeley分校參加陳省身退休慶祝會，會上作了I*函子報告。加入中國共產(chǎn)黨。
1979年去長春參加有關(guān)計算機(jī)與數(shù)學(xué)的學(xué)術(shù)會議
1979年10月關(guān)肇直創(chuàng)建系統(tǒng)科學(xué)研究所，吳文俊離數(shù)學(xué)所去系統(tǒng)所，任副所長
1979年秋在中國科技大學(xué)研究生院開設(shè)機(jī)器證明的專門化課程
1980年國內(nèi)開始舉辦雙微會議，在首次會議上做報告“初等幾何和微分幾何的定理機(jī)械化證明”。
1981年秋去美國加州大學(xué)Berkeley分校講學(xué)
1982年秋~1983年初訪問西德Max-Planck數(shù)學(xué)研究所，訪問法國
1983年去美國Cororado大學(xué)，加州大學(xué)洛杉機(jī)分校，Chicago大學(xué)，Illinois大學(xué)，Honston大學(xué)訪問。
1984年由W.W.Bledsoe等編輯的《Automated Theorem Proving:After 25 Years》出版，收入?yún)俏目〉牡旎哉撐�，吳文俊的機(jī)械化數(shù)學(xué)思想在國際上得到廣泛傳播。
1984年秋在中國科技大學(xué)研究生院開設(shè)機(jī)器證明理論課程
1985年第六屆雙微會議上報告。
1985年10月組織劉徽數(shù)學(xué)討論班，由多位專家介紹數(shù)學(xué)某些領(lǐng)域的最新進(jìn)展。與呂學(xué)禮合作撰寫通俗著作《分角線相等的三角形》，由人民教育出版社出版。
1986年6月訪問美國通用電氣公司Xerox，Parc，HP實(shí)驗室，7月訪問美國紐約庫朗研究所。訪問Texas大學(xué)Austin分校計算機(jī)科學(xué)系。
1986年8月應(yīng)邀在第20屆國際數(shù)學(xué)家大會上作“Recent Studies of the History of Chinese Mathematics”報告，訪問Argonne國家實(shí)驗室。
1986年通俗文選“吳文俊文集”由山東教育出版社出版。
1987年關(guān)于I*-函子的研究總結(jié)成Rational homotopy type,Aconstructive Studyvia the theory of theI*-measure一書，由Springer出版社出版
1987年5月訪問東德，參加萊比錫Eurocal’87會議。
1987年7月訪問意大利Catania大學(xué)，參加數(shù)學(xué)自動推理國際會議
1987年10月訪問加拿大，參加國際符號與代數(shù)計算會議。
1988年7月參加美國Ithaca,Algorithmic Aspect of Geometryand Algebra國際會議，作系統(tǒng)報告。
1988年7月巴黎國際數(shù)學(xué)和計算機(jī)模擬大會，被邀請為一專家小組的召集人，曾組織數(shù)人參加，吳文俊未成行。
1988年9月－10月參加巴黎Thom紀(jì)念會。并作報告：A Constructive Theory of Algebraic Differential Geometry and its Application。邀請為一專家小組的召集人，曾組織數(shù)人參加，吳文俊未成行。到法國Strassbourg大學(xué)計算機(jī)科學(xué)系和西德Goettingen大學(xué)進(jìn)行學(xué)術(shù)訪問。
1988年12月1985年劉徽數(shù)學(xué)討論班的部份報告由安徽科技出版社出版，書名《現(xiàn)代數(shù)學(xué)的進(jìn)展》。
1990年3月到加拿大Montreal大學(xué)學(xué)術(shù)訪問。
1990年5月訪問蘇聯(lián)，在Dubna參加“物理科學(xué)中的計算機(jī)代數(shù)”國際會議。
1990年8月在香港召開首屆亞洲數(shù)學(xué)大會，做“方程求解與定理求證”報告。
1990年8月成立中國科學(xué)院系統(tǒng)科學(xué)研究所數(shù)學(xué)機(jī)械化研究中心，并任中心主任。
1990年獲第三世界科學(xué)院數(shù)學(xué)獎
1990年10月赴美國LosAngels微分幾何暑期學(xué)校為陳省身教授祝壽
1991年1－2月到美國Maryland大學(xué)系統(tǒng)研究中心訪問，并參加“幾何與學(xué)習(xí)工作會議”。到Duke大學(xué)學(xué)術(shù)訪問。
1991年1月－6月在南開數(shù)學(xué)所學(xué)術(shù)年由吳文俊與胡國定共同主持計算機(jī)數(shù)學(xué)的系列報告，報告由新加坡World Scientific于1993年出版，書名為Computer Mathematics
1991年4月去Grenoble參加CDE會議。到巴黎對IHES、巴黎第VII大學(xué)、綜合工科學(xué)校進(jìn)行學(xué)術(shù)訪問。
1992年赴科威特接受1990年第三世界科學(xué)院數(shù)學(xué)獎的頒獎
1992年7月與程民德教授共同主持在北京舉行的數(shù)學(xué)機(jī)械化國際會議，會議錄由International Academic Publishers出版。
1992年8月去奧地利參加AAGR，對RISC研究所進(jìn)行學(xué)術(shù)訪問
1993年3月隨科學(xué)家代表團(tuán)訪問臺灣。
1993年10月去南韓慶北大學(xué)幾何拓?fù)溲芯克L問
1994年7月與石赫去威海研究生數(shù)學(xué)暑期學(xué)校主持?jǐn)?shù)學(xué)機(jī)械化暑期講習(xí)班。
1994年8月參加北京舉行的ISSAC國際會議。
1994年9月去香港。王東明將《幾何定理機(jī)器證明的基本原理(初等幾何部分)》譯成英文，由Springer出版，英文書名為Mechanical Theorem Proving in Geometries
1995年5月接受香港城市大學(xué)名譽(yù)博士學(xué)位
1995年5月去美國Albuquesque參加計算機(jī)代數(shù)應(yīng)用學(xué)術(shù)會議
1995年8月參加由中日聯(lián)合舉辦在北京舉行的首屆亞洲計算機(jī)數(shù)學(xué)研討會。
1995年12月去新加坡參加第一屆亞洲數(shù)學(xué)科技會議，作大會報告“幾何問題求解及其現(xiàn)實(shí)意義”。
1996年5月隨陳省身教授去貴陽講學(xué)，三次通俗報告載貴州教育學(xué)院學(xué)報1997年48卷3期
1996年“吳文俊文集”的增訂本改名為“吳文俊論數(shù)學(xué)機(jī)械化”，仍由山東教育出版社出版
1996年去香港參加天元基金領(lǐng)導(dǎo)小組擴(kuò)大會議
1996年7月與石赫、劉卓軍等在北大主持?jǐn)?shù)學(xué)機(jī)械化的暑期講習(xí)班。
1996年11月去意大利Trieste參加第三世界科學(xué)院大會
1996年12月去臺灣參加數(shù)學(xué)年會
1997年6月去Berkeley參加北美青年數(shù)學(xué)家學(xué)術(shù)會議
1997年7月去澳大利亞Townsville參加CADE-14國際會議，并領(lǐng)取自動推理的最高獎Herbrand獎，訪問Camberra澳大利亞國立大學(xué)。
1998年8月參加在北京舉行的第二屆ADG(幾何中的自動推理)國際會議
1998年8月參加由中日聯(lián)合舉辦在蘭洲舉行的第三屆亞洲計算機(jī)數(shù)學(xué)國際會議
1998年8月與林東岱、張文嶺同赴新疆為天元基金作學(xué)術(shù)報告
1998年將1997年以來關(guān)于數(shù)學(xué)機(jī)械化的工作總結(jié)成書，書名為Mathematics Mechanization:Geometry Theorem Proving,Geometry Problem-Solving and Polynomial Equation-Solving將由科學(xué)出版社出版。
1999年10月10－17日參加在成都舉辦的>
1999年10月21日訪問武漢華中理工大學(xué)，被授予名譽(yù)教授并作了通俗報告>
1999年11月6日參加在廣州舉行的紀(jì)念關(guān)肇直先生八十誕辰的學(xué)術(shù)研討會。
1999年12月15日－20日去德國訪問，參加國際數(shù)學(xué)家大會。
2000年1月10－14日參加在澳門舉行的“數(shù)學(xué)及其在文明中的作用”國際會議上做題為“A Tentative Comparatives Study of Mathematics in Ancient China and Ancient Greece”的邀請報告。
2000年1月14日－18日參加在香港舉行的“數(shù)學(xué)普及講座及交流系列研討會II”，做題為“中國傳統(tǒng)數(shù)學(xué)的特色及其現(xiàn)代意義”的報告。
2000年7月18日至7月28日參加“計算微分代數(shù)暑期高級研討班”并做報告。
2000年9月27－28日參加在瑞士蘇伊士ETH舉行的第三屆“國際幾何推理會議”(ADG‘2000)，主講opensession。
2000年9月28日－10月6日參加在法國巴黎舉行的學(xué)術(shù)交流會，做題為：Global Optimiztion and its Applications的報告。
11月9日－15日參加在伊朗舉辦的“International Congresson Ghyathal-din Jamshid Kashani-ICGK2000”國際會議，做題為：“Polynomial Equations－Solving in Ancient China and its Role in Modern Times”的邀請報告。
2000年12月18－21日參加在泰國清邁舉行的第四屆“亞洲計算機(jī)數(shù)學(xué)研討會”（ASCM’2000）并在會上做報告。
2001年2月19日榮獲首屆國家最高科學(xué)技術(shù)獎。授獎大會在人民大會堂隆重舉行。江澤民總書記親自向吳文俊院士與另一位獲獎?wù)咴∑筋C獎。
2001年2月訪問德國Maxplanck數(shù)學(xué)研究所
2001年3月在合肥中國科大舉辦的“有效代數(shù)方法高級研討班”上做報告。
2001年9月中國科協(xié)在長春舉行2001年學(xué)術(shù)年會，吳作了大會報告，題為：腦力勞動機(jī)械化與科學(xué)技術(shù)現(xiàn)代化
2001年9月在上海現(xiàn)代數(shù)學(xué)國際會議上作了大會邀請報告，題為：OnAlgebraicDifferentialGeometryandAlgebraicDifferentialEquations
2001年10月訪問香港城市大學(xué)
2001年10月在香港舉行第九屆國際中國科學(xué)史會上作了大會邀請報告，題為：On Some Characteristic Features of Chinese Mathematics
2001年10月在深圳高信技術(shù)論壇期間，于10月13至14日舉行第一屆院士論壇上和周光召同志擔(dān)任主講。主講的題目為：數(shù)學(xué)機(jī)械化及其在高科技中的作用。
2001年10月吳文俊在天津南開大學(xué)數(shù)學(xué)所舉行的“二十一世紀(jì)的中國數(shù)學(xué)”學(xué)術(shù)報告會上作報告，題目：21世紀(jì)的中國數(shù)學(xué)。
2001年英文著作>2001年榮獲第五屆國家圖書獎。
2002年6月在清華為祝賀楊振寧80壽辰而舉行的國際學(xué)術(shù)會議“Frontiers of Science”上作“Some Reflections on the Mechanization of Mental Laborin the Computer Age”
2002年8月國際數(shù)學(xué)家大會公開演講，“中國古算與實(shí)數(shù)系統(tǒng)”
2002年9月應(yīng)香港鳳凰電視臺邀請，在清華大學(xué)作"計算機(jī)時代的中國數(shù)學(xué)"的演講。
2003年1月10日在“數(shù)學(xué)機(jī)械化軟件研討會”上做報告：“計算機(jī)時代的腦力勞動機(jī)械化與數(shù)學(xué)機(jī)械化”的報告。
2003年11月17日在廣東工業(yè)大學(xué)做報告：“拓?fù)鋵W(xué)到機(jī)器證明”.
2003年11月19日在中國智能學(xué)會2003全國學(xué)術(shù)大會、可拓學(xué)創(chuàng)立20年慶祝大會、中韓智能系統(tǒng)學(xué)術(shù)研討會上作“計算機(jī)時代腦力機(jī)械化與科學(xué)技術(shù)現(xiàn)代化”報告
2003年11月27日在The 1st Asian Symposiumon Programming Language and Systems上作Ona Method of Global Optimization報告。
2003年11月28日在中國科學(xué)人文論壇上做報告：“計算機(jī)時代的東方數(shù)學(xué)”。
2004年5月19－21日參加在上海市青浦區(qū)朱家角鎮(zhèn)舉辦的“第六屆國際數(shù)學(xué)機(jī)械化研討會”(IWMM6)。
2004年5月24日在上海復(fù)旦大學(xué)做報告：“計算機(jī)時代的東方數(shù)學(xué)”
2004年11月8-9日參加數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗室在香山別墅舉行的實(shí)驗室戰(zhàn)略發(fā)展學(xué)術(shù)研討會，作會議總結(jié)。
2005年7月24日至27日參加在北京舉行的ISSAC’2005，做邀請報告：Finite Kernel Theorem and Applications
2005年7月參加科學(xué)史國際會，做報告：On the Development of Real Number System in Ancient China
2005年9月26日被聘為中國石油大學(xué)(東營)榮譽(yù)教授。當(dāng)天參觀了石油大學(xué)校史陳列館與展覽館、重質(zhì)油國家重點(diǎn)實(shí)驗室、高壓水射流研究中心和石大科技集團(tuán)，并出席了“授予吳文俊院士榮譽(yù)教授儀式暨學(xué)術(shù)報告會”；次日接受了山東衛(wèi)視的專訪。
2006年4月25日至28日到安徽省馬鞍山市和蕪湖市進(jìn)行了考察，參觀了安徽工業(yè)大學(xué)、馬鋼第一鋼軋總廠、安徽華東光電研究所、奇瑞公司等單位，并受聘為安徽工業(yè)大學(xué)榮譽(yù)教授。
2006年6月獲得第三屆邵逸夫獎數(shù)學(xué)獎。
社會活動
社會兼職
1978年12月-1983年2月，第五屆全國政治協(xié)商會議常委
1979年10月-1984年2月，中科院系統(tǒng)所副所長
1983年3月-1988年2月，第六屆全國政治協(xié)商會議常委
1984年2月起中科院系統(tǒng)所名譽(yù)所長
1984年-1987年中國數(shù)學(xué)會理事長
1988年3月-1993年2月，第七屆全國政治協(xié)商會議常委
1990年8月-1999年5月，中科院系統(tǒng)所數(shù)學(xué)機(jī)械化研究中心主任
1992年4月-1996年4月，中國科學(xué)院數(shù)理學(xué)部主任
1993年3月-1998年2月，第八屆全國政治協(xié)商會議常委
1996年任天元基金領(lǐng)導(dǎo)小組組長(接替原組長程民德教授)
重大項目
1948年開始參加CNRS研究工作初任Attaché de recherches,1951年升為Changé de Recherches
國家科委攀登項目“機(jī)器證明及其應(yīng)用”，任項目專家委員會首席科學(xué)家（1992年）
國家科委攀登項目“數(shù)學(xué)機(jī)械化及其應(yīng)用”，任專家委員會首席科學(xué)家（1996年）
國家重點(diǎn)基礎(chǔ)研究規(guī)劃項目“數(shù)學(xué)機(jī)械化與自動推理平臺”。專家委員會的首席科學(xué)家改由高小山擔(dān)任，吳文俊退為專家委員會的學(xué)術(shù)指導(dǎo)，屬顧問性質(zhì)（1999年）
獲獎情況
1956年因示性類及示嵌類的工作榮獲國家第一屆自然科學(xué)獎最高獎一等獎（其他兩位一等獎獲得者為華羅庚和錢學(xué)森） 1957年1月增選為中國科學(xué)院院士
1958年邀請在1958年國際數(shù)學(xué)家大會（愛丁堡）做分組報告（未能成行）
1978年全國科學(xué)大會得科學(xué)大會獎
1988年7月巴黎國際數(shù)學(xué)和計算機(jī)模擬大會，被邀請為專家小組的召集人，(未成行)。
1992年獲得第三世界科學(xué)院數(shù)學(xué)獎
1993年度陳嘉庚數(shù)理科學(xué)獎
1994年榮獲香港求是基金會“杰出科學(xué)家獎”
1997年獲自動推理的最高獎Herbrand獎
香港城市大學(xué)名譽(yù)博士學(xué)位
2000年國家最高科學(xué)技術(shù)獎
2000年度國家最高科技獎[1]
2006年邵逸夫數(shù)學(xué)獎
主要工作
吳文俊教授的數(shù)學(xué)研究活動，可分為前后兩個時期，涉及到好幾個數(shù)學(xué)領(lǐng)域， 在代數(shù)拓?fù)浜蜋C(jī)器證明兩個領(lǐng)域有重大貢獻(xiàn)，對數(shù)學(xué)研究影響深遠(yuǎn)。前期自1947 年至70年代，以代數(shù)拓?fù)錇橹�，他的貢獻(xiàn)主要有兩個方面：
示性類研究
通過Grassmann流形對在30年代由瑞士Stiefel，美國Whitney，蘇聯(lián)Pontrjajin 和陳省身通過不同途徑引入的示性類進(jìn)行了系統(tǒng)的論述，確定了名稱，探討了相應(yīng)關(guān)系，并應(yīng)用于流形的構(gòu)造。他引入的上同調(diào)類，后來在文獻(xiàn)中被稱之為吳示性類，他提出的蘊(yùn)含拓?fù)洳蛔冃院屯瑐惒蛔冃缘膬蓚�公式，后來都被稱之為吳公式。由于這些結(jié)果的根本重要性，在多種問題中被廣泛應(yīng)用，如50年代德國的Dold,60年代德國的 Hirzebruch蘇聯(lián)的Novikov并因而獲Fields獎，美國的Bott 與Milnor等等。
示嵌類研究
他引入具有非同倫拓?fù)洳蛔兞康囊环N一般構(gòu)造方法，并系統(tǒng)地用之于嵌入問題，引入了復(fù)合形示嵌類，并用同樣方法研究浸入問題與同痕問題，引入類似的示浸類與示痕類。瑞士Haefiger由于在1958年聽到了他關(guān)于上述示嵌類研究工作的講學(xué)，于1961年將嵌入問題作了重要推廣，因而成為瑞士主要拓?fù)鋵＜摇Ｃ绹鳶male應(yīng)用他的工作于維數(shù)大于4的Poincare猜測，并因而獲Fields獎。他后來應(yīng)用關(guān)于示嵌類的成果于電路布線問題，給出線性圖平面性的新的判定準(zhǔn)則，與以往的判定準(zhǔn)則在性質(zhì)上完全不同，尤其是可計算。
應(yīng)當(dāng)注意的是他在1956年前完成的研究成果的重要性，在多年以后才顯現(xiàn)出來，至今仍在國際上廣泛引用。
后期始于1976年，從事機(jī)器征明與數(shù)學(xué)機(jī)械化的研究。
他提出的用計算機(jī)證明幾何定理的方法，與常用的基于數(shù)理邏輯的方法根本不同，顯現(xiàn)了無比的優(yōu)越性，改變了國際上自動推理研究的面貌，被稱為自動推論領(lǐng)域的先驅(qū)性工作，并因此獲得Herbrand自動推論杰出成就獎。以下是14屆國際自動推論大會上對吳文俊工作的介紹與評價。
“吳文俊在自動推理界以他于1977年發(fā)明的(定理證明)方法著稱。這一方法是幾何定理自動證明領(lǐng)域的突破�！薄皫缀味ɡ碜詣幼C明首先由Herbert Gerlenter于五十年代開始研究。雖然得到了一些有意義的結(jié)果，但在吳方法出現(xiàn)之前的二十年里這一領(lǐng)域進(jìn)展甚微。在不多的自動推理領(lǐng)域中，這種被動局面是由一個人完全扭轉(zhuǎn)的。吳文俊很明顯是這樣一個人�！薄皡堑墓ぷ鲗缀味ɡ碜C明自動推理的一個不太成功的領(lǐng)域變?yōu)樽畛晒Φ念I(lǐng)域之一。在很少的領(lǐng)域中，我們可以將機(jī)器證明歸于一個人的工作。幾何定理證明就是這樣的一個領(lǐng)域�！� 他引入的求解非線性代數(shù)方程組的吳方法是求解代數(shù)方程組精確解最完整的方法之一，已經(jīng)被成功地用于解決很多問題，并實(shí)現(xiàn)在當(dāng)前流行的符號計算軟件中。歐共體資助的 POSSO計劃(POlynomial System SOlving)中也有吳方法的專用軟件包。吳方法還被用于若干高科技領(lǐng)域，得到一系列國際領(lǐng)先的成果。包括曲面造型，機(jī)器人機(jī)構(gòu)的位置分析，智能CAD系統(tǒng)(計算機(jī)輔助設(shè)計)，機(jī)器人，圖像壓縮等。八十年代末，他提出了偏微分代數(shù)方程組的整序方法，是目前處理偏微分代數(shù)方程組的完整的構(gòu)造性方法。該方法已被應(yīng)用于微分幾何定理機(jī)器證明和偏微分方程組求解。擴(kuò)展了代數(shù)簇的通常局限無奇點(diǎn)情形的陳示性數(shù)于有任意奇點(diǎn)的陳類與陳數(shù)，且定義是可計算的，形成代數(shù)幾何機(jī)械化的新篇章。他給出了多元多項式組的零點(diǎn)結(jié)構(gòu)定理，這是構(gòu)造性代數(shù)幾何發(fā)展的重要標(biāo)志。
個人貢獻(xiàn)
吳文俊在數(shù)學(xué)上作出了許多重大的貢獻(xiàn)。
◆拓?fù)鋵W(xué)方面，在示性類、示嵌類等領(lǐng)域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛應(yīng)用。他還在拓?fù)洳蛔兞�、代�?shù)流形等問題上有創(chuàng)造性工作。1956年吳文俊因在拓?fù)鋵W(xué)中的示性類和示嵌類方面的卓越成就獲中國自然科學(xué)獎一等獲。
◆數(shù)學(xué)機(jī)械化或機(jī)器證明方面，從初等幾何著手，在計算機(jī)上證明了一類高難度的定理，同時也發(fā)現(xiàn)了一些新定理，進(jìn)一步探討了微分幾何的定理證明。提出了利用機(jī)器證明與發(fā)現(xiàn)幾何定理的新方法。這項工作為數(shù)學(xué)研究開辟了一個新的領(lǐng)域，將對數(shù)學(xué)的革命產(chǎn)生深遠(yuǎn)的影響。1978年獲全國科學(xué)大會重大科技成果獎。
◆中國數(shù)學(xué)史方面，吳文俊認(rèn)為中國古代數(shù)學(xué)的特點(diǎn)是：從實(shí)際問題出發(fā)，經(jīng)過分析提高，再抽象出一般的原理、原則和方法，最終達(dá)到解決一大類問題的目的。他對中國古代數(shù)學(xué)在數(shù)論、代數(shù)、幾何等方面的成就也提出了精辟的見解。
學(xué)術(shù)成果
專著
Sur les espaces fibrés et les variétés feuilletées,Actualités Sci. Ind.,No. 1183=Publ. Inst. Math. Univ. Strasbourg 11,Hermann & Cie,Paris (1952)
Some applications of mechanics in geometry,(in Chinese),Chinese Youth Press,1962.
A theory of imbedding,immersion,and isotopy of polytopes in a euclidean spacd. Science Press,Beijing (1965). Chinese version with an Appendix: The layout problem of printed circuits and integrated circuits,Science Press,Beijing,(1978).
``Nine Chapters in Arithmetic’’ and Liu Hui,(in Chinese,ed.),Beijing Normal University Press,Beijing,1981.
Proceedings of the 1980 Beijing symposium on differential geometry and differential equations(co-editor with S. S. Chern),Science Press,Beijing,1982.
Basic principles of mechanical theorem proving in geometries (Part on elementary geometries),(in Chinese,ed.),Science Press,Beijing (1984). English translation by D. M. Wang et al,Springer (1994).
On triangles with two equal bisectors,(in Chinese,ed. with X.L. Lü),People’s Education Press,Beijing (1985).
Sellected works of Wu Wen-tsün,(in Chinese,ed.),Shandong science and Technology Press,Jinan,1987.
Rational homotopy type --- A constructive study via the theory of the I*-measure,Lect. Notes in Math.,No. 1264,Springer Verlag,Berlin (1987).
Historical studies on ``Mathematical Treatise in Nine-Chapters (Shu-Shu-Jiu-Zhang)’’ (in Chinese,ed.),Beijing Normal University Press,Beijing,1987.
New developments of today mathematics --- a collection of articles on Liu Hui seminar of mathematics (in Chinese,ed.),Anhui Science and Technology Press,Hefei,1988.
Chinese Mathematics onto the 21st Century,(Ed. with Cheng Min-de),Peking University Press,Beijing,1991.
Computer Mathematics,(Proc. Special Program at Nankai Inst. of Math. in Tianjin 1991,Ed. with Hu Guoding),World Scientific,Singapore,1993.
Proc. 1992 International Workshop on Mathematics Mechanization in Beijing,(Ed. with Cheng Min-de),Intern. Acad. Publishers,Beijing,1992.
Studies on Liu Hui,(in Chinese,ed. with Bai Shangshu,Li Di and Shen Kangshen),Shanxi People’s Education Press and Nine-Chapters Press,1993.
Wu Wentsün on Mathematics Mechanization,(in Chinese),Shangdong Education Press,Shangdong,1996.
吳文俊，《數(shù)學(xué)機(jī)械化》，科學(xué)出版社，2003.
論文
Note sur les produits essentiels symétriques des espaces topologiques. C. R. Acad. Sci. Paris 224,1139-1141(1947).
On the product of sphere bundles and the duality theorem modulo two. Ann. of Math. (2) 49,641-653 (1948).
Sur L’existence d’un champ d’élèments de contact ou d’une structure complexe sur une sphére. C. R. Acad. Sci. Paris 226,2117-2119(1948).
Sur les classes caractéristiques d’un espace fibré en sphéres. C. R. Acad. Sci. Paris 227,582-584(1948).
Sur le second obstacle d’un champ d’élèments de contact dans une structure fibrée sphérique. C. R. Acad. Sci. Paris 227,815-817(1948).
Sur la structure presque complexe d’une variétè différentiable réelle de dimension 4. C. R. Acad. Sci Paris 227,1076-1078 (1948).
Sur la structure presque complexe d’une variétè différentiable réelle. C. R. Acad. Sci. Paris 228,972-973(1949).
Classes caractéristiques et i-carrès d’une variétè. C. R. Acad. Sci. Paris 230,508-511(1950).
Les i-carrés dans une variétè grassmanniénne. C. R. Acad. Sci. Paris 230,918-920(1950).
Sur les puissances de Steenrod. Colloque de Topologie de Strasbourg. 1951,no. IX,9pp. La Bibliothéque Nationale et Universitaire de Strasbourg,1952.
Topological invariants of new type of finite polyhedrons. Acta Math. Sinica 3,261-290(1953).(in Chinese,English summary).
On Pontrjagin classes I. Acta Math. Sinica 3,291-315(1953) (in Chinese,English summary) 17-521. Sci. Sinica 3,353-367(1954). Amer. Math. Soc. Translations,Ser. 2,92(1970),49-62.
On squares in Grassmannian manifolds. Acta Sci. Sinica 2,91-115(1953). Amer. Math. Soc. Translations,Ser. 2,38(1964),235-258.
On squares in Grassmann manifolds. J. Chinese Math. Soc. 2(1953) 205-230. (in Chinese,English summary) 17-396.
Proof of a certain conjecture of H. Hopf,Acta Math. Sinica 4(1954),491-500.
``On Pontrjagin classes II’’,Acta Math. Sinica 4(1954). 171-199(in Chinese,English summary). Amer. Math. Soc. Translations,Ser. 2,92(1970),63-92.
On Pontrjagin classes. III. Acta Math. Sinica 4(1954),323-346. (in Chinese,English summary) 18-225. American Mathematical Society Translations,Ser. 2,Vol. II,pp. 155-172,American Mathematical Society,Providence R I. 1959.
On Pontrjagin classes. IV. Acta Math. Sinica 5(1955),37-63. (in Chinese,English summary). Amer. Math. Soc. Translations,Ser. 2,92,93-121.
On Pontrjagin classes. V. Acta Math. Sinica 5(1955),401-410. (in Chinese,English summary). Amer. Math. Soc. Translations,Ser. 2,38(1964),259-268.
On the realization of complexe in euclidean spaces I. Acta Math. Sinica 5(1955),505-552. (in Chinese,English summary). Amer. Math. Soc. Translations,Ser. 2,78(1968),137-184.
On the imbedding of polyhedrons in Euclidean spaces. Bull. Acad. Polon. Sci. C1. III. 4(1956)573-577.
On the realization of complexes in euclidean spaces. II. Acta Math. Sinica 7(1957),79-101 (in Chinese,English summary). Amer. Math. Soc. Translations,Ser. 2,78(1968),185-208.
On the $Phi_p$-classes of a topological space. Sci. Record (N. S.),1(1957),377-380.
On the relations between smith operations and Steenrod powers. (in Chinese,English summary) Acta Math. Sinica 7(1957),235-241. Fund. Math. 44(1957),262-269. Amer. Math. Soc. Translations,Ser. 2,38(1964),269-276.
On the realization of complexes in euclidean spaces. III. Acta Math. Sinica 8(1958),79-94. (in Chinese,English summary). Sci. Sinica 8(1959),133-150.
On the reduced products and the reduced cyclic powers of a space. Jber Deutsch. Math. Verein. 61(1958),Abt. 1,65-75.
On the dimension of a normal space with countable base. Sci. Record (N. S.) 2(1958),65-69.
On the isotopy of Cr-manifolds of dimension (n) in Euclidean (2n+1)-space. Sci. Record (N. S.) 2(1958),271-275.
On the realization of complexes in Euclidean spaces. Sci. Sinica 7(1958),365-387.
On the isotopy of a complex in a Euclidean space. I. (in Chinese .English summary). Acta Math. Sinica 9(1959),475-493. Sci. Sinica 9(1960),21-46.
Topologie combinatoire et invariants combinatoires. Colloq. Math. 7(1959),1-8.
On certain invariants of cell-bundles. Sci. Record (N. S.) 3(1959),137-142.
A remark on the fundamental theorem in the theory of games. Sci. Record (N.S.) 3(1959),229-233.
On the isotopy of a finite complex in a Euclidean space. I,II. Sci. Record (N.S.) 3(1959),342-351.
On non-cooperative games with restricted domains of activities. Acta Math. Sinica 11(1961),47-62 (in Chinese); translated as Chinese Math. 2(1962),54-76. Russian version in Beskonec. Anagonist. Igry,1963,459-488.
On a theorem of Leray. Acta Math. Sinica 11(1961),348-356(in Chinese); Chinese Math. 2(1962),398-410. Sci. Sinica 10(1961),793-805.
Essential equilibrium points of $n$-person non-cooperative games(with Jiang Jia-he),Sci.Sinica,12 (1962) 1307-1322.
The characteristic classes of certain real quadrics(with Li Pei-hsin),Acta Math. Sinica,12 (1962) 203-215 (in Chinese). Translated in Chinese Math.,3 (1963) 218-231.
On the imbedding of orientable manifolds in a Euclidean space. Sci. Sinica
12(1963),25-33.
Rotations in Euclidean space. (in Chinese) Shuxue Jinzhan 6(1963),96-97.
A theorem on immersion. Sci. Sinica 13(1964),160.
On the immersion of $C^{infty}$-3-manifolds in a Euclidean space. Sci. Sinica 13(1964),335-336.
On the notion of imbedding classes. Sci. Sinica 13(1964),681-682.
On the imbedding of manifolds in a Euclidean space I. Sci. Sinica 13(1964),682-683.
On complex analytic cycles and their real traces. Sci. Sinica 14(1965),831-839.
On critical sections of convex bodies. Sci. Sinica 14(1965),1721-1728.
Algebraic varieties with dual rational dissections. (in Chinese) Shuxue Jinzhan 8(1965),402-409.
The Chern characteristic classes on an algebraic variety. (in Chinese) Shuxue Jinzhan 8(1965),395-401.
A mathematical problem in the design of integrated circuits,Math. in Practice and Theory,(1973) 20-40. (in Chinese).
Planar imbedding of linear graphs,Kexue Tongbao,(1973) 226-228. (in Chinese).
Homology classes that contain singularities of type Sk (in Chinese),Acta Math. Sinica,17(1974),28-37.
On singularities of Sk-type,Acta Math. Sinica (1975) (in Chinese).
On universal invariant forms,Acta Math. Sinica,18(1975),263-273 (in Chinese).
A new functor in algebraic topology,Kexue Tongbao,20(1975),311-312 (in Chinese).
Theory of I*-functor in algebraic topology - Real topology of homogeneous spaces,Acta Math. Sinica 18(1975),162-172 (in Chinese).
Theory of I*-functor in algebraic topology - Real topology of fibre squares,Sci. Sci. Sinica,18(1975),464-482.
Theory of I*-functor in algebraic topology - Effective calculation and axiomatization of I*-functor on complexes,Sci. Sinica,19(1976),647-664.
The layout problem of printed circuits and integrated circuits,Appendix to A theory of imbedding,immersion and isotopy of polytopes in a Euclidean space,(1977) 213-261 (in Chinese).
The out-in complementary principle,(in Chinese),in Achievements in Science and Technology of Ancient China (1977),80-100.
On the decision problem and the mechanization of theorem-proving in elementary geometry,Scientia Sinica 21 (1978) 159-172. Re-published in Automated Theorem Proving: After 25 Years (Eds. W.W. Bledsoe & D. W. Loveland),(1984) 213-234. Chinese version in Sci. Sinica,20(1977),507-516.
Theory of I*-functor in algebraic topology- I*-functor of a fiber space(with Wang Qi-ming),Sci.Sinica,21 (1978) 1-18.
Mechanical theorem proving in elementary differential geometry ( in Chinese),Kexue Tongbao,23(1978),523-524.
Layout problems in printed circuits and intergrated circuits (in Chinese),Appendix in Chinese version of [3],213-261. 1979
On the mechanization of theorem-proving in elementary differential geometry,Scientia Sinica,Math. Supplement (I),94-102 (1979).(in Chinese).
On the mechanization of theorem proving in elementary differential geometry (in Chinese),Sci. Sinica,Special Issue(I) on Math.,94-102. 1980.
Some recent advance in mechanical theorem-proving of geometries,in Automated Theorem Proving:After 25 Years (Eds.W.W.Bledsoe & D.W. Loveland),Contemp. Math.,AMS,29(1984) 235-242. Basic principles of mechanical theorem-proving in elementary geometries,J.Sys.Sci. & Math.Scis.,4 (1984) 207-235. Re-published in J. Automated Reasoning,2 (1986) 221-252.
A constructive theory of differential algebraic geometry based on works of J. F. Ritt with particular applications to mechanical theorem-proving in differential geometries. Differential Geometry and Differential Equations,Lect. Notes in Math. No. 1255,Springer (1984) 173-189.
On zeros of algebraic equations --- an application of Ritt principle,Kexue Tongbao 31 (1986) 1-5. Chinese version,30(1985),881-883.
On the planar imbedding of linear graphs I,J. Sys. Sci. & Math. Scis.,5(1985),290-302.
The renaissance of constructive mathematics,(in Chinese),Adv. in Math.,14(1985) 334-339.
On the planar imbedding of linear graphs II,J. Sys. Sci. & Math. Scis.,6(1986),23-35.
A mechanization method of geometry and its applications I. Distances,areas,and volumes in euclidean and non-euclidean geometries,Kuxue Tongbao 32 (1986) 436-440.
A mechanization method of geometry I. Elementary geometry,Chinese Quart. J. Math.,1 (1986) 1-14,Errata and Addenda,ibid,2 (1987) 20.
A mechanization method of geometry and its applications I. Distances,areas,and volumes,J.Sys.Sci. & Math.Scis.,6 (1986) 204-216
A general description of the SOLVER package system,(in Chinese),Math. in Practice and Theory,(1986 No.2),32-39.
Examples of applications of the SOLVER package system,(in Chinese),Math. in Practice and Theory,(1986 No.3),1-11.
Some remarks on jet-transformations,Bull. Soc. Math. Belgique,38 (1986) 409-414.
Recenct studies of the history of Chinese mathematics,in Proc. ICM 1986,Amer. Math. Soc.,(1987) 1657-1667.
On the Constructive and Mechanical characterictics of Chinese traditional mathematics in view of "Mathematical Treatise in Nine Chapters" of Qin Jiu-shao,(in Chinese),in Qin Jiu-shao and "Mathematical Treatise in Nine Chapters",Ed. Wu Wen-tsün,Beijing Normal University Press,Beijing,(1987) 73-88.
On Chern numbers of algebraic varieties with arbitrary sigularities,Acta Math. Sinica,New Ser.,3,(1987) 227-238.
A mechanization method of geometry and its applications II. Curve pairs of Bertrand type,Kuxue Tongbao 32 (1987) 585-588. Chinese version 1281-1284.
On reducibility problem in mechanical theorem proving of elementary geometries,Chinese Quarterly J. of Math.,2 (1987) 1-19,also in MM-Res.Preprints,No.2,(1987) 18-36.
A zero structure theorem for polynomial-equations-solving and its applications,MM-Res.Preprints,No.1 (1987) 2-12.
Mechanical derivation of Newton’s Gravitational Laws from Kepler’s Laws,MM-Res. Preprints,No.1,(1987) 53-61.
On the special features of constructiveness and mechanical characterof chinese traditional mathematics as viewed from ``Mathematics in Nine Chapters’’,(in Chinese),In [10](1987),78-88.
Decompostion theorems for the zero-set of an ordinary or differential polynomial set and their applications,IV int. conf. on Computer Algebra in Physical Research 1990,(Eds. D.V. Shirkov et al),(1991) 198-205.
Automation of Theorem-Proving,MM-Res. Preprints,N0.5 (1990) 1-4. Also in Workshop on Advanced Computers for Artificial Intelligence,Beijing (1990) 11-15.
On the construction of Groebner basis of a polynomial ideal based on Riquier-Janet theory,MM-Res. Preprints,No.5 (1990) 5-22. Also in Sys.Sci. & Math.Scis.,4 (1991) 193-207.
A survey of developements of mathematics mechanization in China,in Chinese Mathematics into the 21st Century,(Ed. Wu Wen-tsün & Cheng Min-de),Peking University Press,Beijing (1991) 15-40.
Mechanical theorem proving of differential geometries and some of its applications in mechanics,MM-Res. Preprints,No.6 (1991) 1-22. Also in J. Automated Reasoning,7 (1991) 171-191.
On a finiteness theorem about optimization problems,MM-Res. Preprints,No. 8(1992) 1-18.
A report on mechnical geometry theorem proving,Progress in Natural Science,2 (1992) 1-17.
On the char-set method and the linear equations method of non-linear polynomial equations-solving,in Proc. Intern. Workshop on Math. Mechanization(1992),101-109.
Equations-solving and theorem-proving: Zero-set formulation and ideal formulation,Proc. Asian Math. Conf. 1992,1-10.
A mechanization method of equations-solving and theorem-proving,Adv. in Comp. Res.,6(1992),103-138.
On problems involving inequalities,MM-Res. Preprints,No. 7(1992),1-13.
On a linear equation method of non-linear polynomial equations-solving,MM-Res. Preprints,No.6 (1991) 23-36. Errata,loc.cit. No.7 (1992). Sys. Sci. & Math. Sci.,6(1993) 1-12.
On the development of polynomial equations solving in China,Proc. 1991 Nankai seminar on Mathematics Mechanization,Singapore (1993)
On a hybrid method of polynomial equations solving,MM-Res. Preprints,No. 9 (1993) 1-10.
On Surface-fitting problem in CAGD,MM-Res. Preprints,No. 10 (1993) 1-10.
On a finiteness theorem about problems involving inequalities,Sys. Sci. & Math. Scis.,7 (1994)
On the algebraic surface-fitting problem in CAGD,(in Chinese,with Wang Ding-kang),Mathematics in practice and theory,No. 3(1994),26-31.
Some remarks on factorization and GCD of multivariate polynomials,MM-Res. Preprints,No. 11(1994),1-14.
Char-set method of polynomial equation-solving and its applications,Proc. Asian Symposium on Computer Mathematics(1995),11-21.
Geometry problem-solving and its contemporary significance,in Proc. First Asian Tech. Conf.,Assoc. of Math. Educators,Singapore,(1995),67-62.
Central configurations in planet motions and votex mothions,MM-Res. Preprints,No. 13(1995) 1-14
On constructive algebraic geometry,MM-Res. Preprints,No. 16 (1998) 1-3.
Optimization Problem in Technology and Education,Proc. Of ATCM’99,pp. 19-31,ATCM Inc,1999.
Mathematics Mechanization,Science Press/Kluwer Pub.,2000
On Algebrico-Differential Equations-Solving,J. Sys. Sci. & Complexity,v. 17,No. 2,p. 153-163。
On “Good” Basis of Polynomial Ideals,DESC 2004 Seminar on Diff. Eqs. with Symb. Computation 2004/4,p.1-4。
混合計算，(《21世紀(jì)100個交叉科學(xué)難題》)。
解方程今與昔，(《科學(xué)與中國》 2004,p.16-19)。
探索與實(shí)踐-我的科學(xué)研究歷程，(《科學(xué)的力量》2004,p.11-19)。
計算機(jī)時代的東方數(shù)學(xué) (《世紀(jì)機(jī)遇》，中國科學(xué)家人文論壇演講錄，路甬祥，鄭必堅編，2004,p.181-194)。
計算機(jī)時代的腦力勞動機(jī)械化與科學(xué)技術(shù)現(xiàn)代化，(《人工智能及其應(yīng)用》第三版，2004,p.5-10)。
創(chuàng)新科研秉燭育人，民族復(fù)興建立功勛(《科學(xué)新聞》2004-18,p.4)。
紀(jì)念鄧小平同志誕辰100周年(《春天長在豐碑永存》2004,p.140-143,科學(xué)技術(shù)出版社)
推動數(shù)學(xué)界人才成長，(《隨中國科技騰飛》，2004,p.36)
《數(shù)學(xué)的魅力》序(《數(shù)學(xué)的魅力I》，2004)
On "Good" Bases of Algebraico-Differential Ideals,Differential Equations with Symbolic Computation,343-350,2005
On the Construction of Groebner Basis of a Polynomial Ideal Based on Riguien-Janet Theory,Differential Equations with Symbolic Computation,351-368,2005
On Wintuer’s conjecture about central configunations,Computer Algebra and Geometric Algebra with Applications,1--4,2005,SCI
Inoubliables sourenirs de Rene Thom,Reue thom (1922-2002),139-141,2005
混合計算，21世紀(jì)100個交叉科學(xué)難題，656-657,2005
On a Finite Kernel Theorem for Polynomial-Type Optimization Problems and some of its Applications,ISSAC’05,4,2005
相關(guān)信息
中國數(shù)學(xué)家吳文俊教授在他60壽辰的那天，仍如往常，黎明即起，整天沉浸在運(yùn)算和公式中，有人特地選定在這一天的晚間登門拜訪，寒暄之后，說明來意：“聽您夫人說，今天是您60大壽，特來表示祝賀�！眳俏目》路鹇犃艘粋�新聞，恍然大悟地說：“哦，是嗎？我倒忘了。”來人暗暗吃驚，心想：“數(shù)學(xué)家的腦子里裝滿了數(shù)字，怎么連自己的生日也記不得了？其實(shí)，吳文俊對日期的記憶力是很強(qiáng)的，他在將近花甲之年的時候，又攻破了一個難題——“機(jī)器證明�！边@改變了數(shù)學(xué)家“一支筆、一張紙、一個腦袋”的勞動方式，運(yùn)用電子計算機(jī)來實(shí)現(xiàn)數(shù)學(xué)證明。他在進(jìn)行這項課題的研究過程中，對于電子計算機(jī)安裝的日期、為計算機(jī)最后編成300多道“指令”程序的日期，都記得一清二楚。
人物逝世
2017年5月7日7時21分，吳文俊在北京不幸去世，享年98歲。
2017年5月11日，吳文俊遺體告別儀式在八寶山殯儀館舉行。
