吳文俊(Wentsun WU)，男，祖籍浙江嘉興，1919年5月12日出生于中國(guó)上海，數(shù)學(xué)家。吳文俊的研究工作涉及到數(shù)學(xué)的諸多領(lǐng)域其主要成就表現(xiàn)在拓?fù)鋵W(xué)和數(shù)學(xué)機(jī)械化兩個(gè)領(lǐng)域。他為拓?fù)鋵W(xué)做了奠基性的工作。他的示性類和示嵌類研究被國(guó)際數(shù)學(xué)界稱為“吳公式”、“吳示性類”、“吳示嵌類”至今仍被國(guó)際同行廣泛引用。

吳文俊畢業(yè)于交通大學(xué)，1949年獲得法國(guó)斯特拉斯堡大學(xué)博士學(xué)位。70年代后期，在計(jì)算機(jī)技術(shù)大發(fā)展的背景下，他繼承和發(fā)展了中國(guó)古代數(shù)學(xué)的傳統(tǒng)(即算法化思想)，轉(zhuǎn)而研究幾何定理的機(jī)器證明，徹底改變了這個(gè)領(lǐng)域的面貌，是國(guó)際自動(dòng)推理界先驅(qū)性的工作，被稱為吳特征列方法，產(chǎn)生了巨大影響。吳的研究取得了一系列國(guó)際領(lǐng)先成果并已應(yīng)用于國(guó)際上當(dāng)前流行的符號(hào)計(jì)算軟件方面。

吳文俊現(xiàn)在是中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng)，他獲得多項(xiàng)國(guó)內(nèi)外獎(jiǎng)，1997年獲自動(dòng)推理領(lǐng)域最高獎(jiǎng)Herbrand Award[1]，2006年獲邵逸夫獎(jiǎng)數(shù)學(xué)科學(xué)獎(jiǎng)。

編號(hào)第7683號(hào)小行星被永久命名為“吳文俊星”。

吳文俊1940年畢業(yè)于交通大學(xué)數(shù)學(xué)系，1949年獲法國(guó)國(guó)家博士學(xué)位。世界著名數(shù)學(xué)家， 中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽(yù)所長(zhǎng)，中國(guó)數(shù)學(xué)會(huì)名譽(yù)理事長(zhǎng)。中國(guó)數(shù)學(xué)機(jī)械化研究的創(chuàng)始人之一，現(xiàn)任中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所名譽(yù)所長(zhǎng)、研究員，中國(guó)科學(xué)院院士，第三世界科學(xué)院院士；曾任中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)（1985-1987），中國(guó)科學(xué)院數(shù)理學(xué)部主任（1992-1994），全國(guó)政協(xié)委員、常委（1979-1998）。

他在拓?fù)鋵W(xué)、自動(dòng)推理、機(jī)器證明、代數(shù)幾何、中國(guó)數(shù)學(xué)史、對(duì)策論等研究領(lǐng)域均有杰出的貢獻(xiàn)，在國(guó)內(nèi)外享有盛譽(yù)。他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得一系列重要成果，是拓?fù)鋵W(xué)中的奠基性工作并有許多重要應(yīng)用。他的“吳方法”在國(guó)際機(jī)器證明領(lǐng)域產(chǎn)生巨大的影響，有廣泛重要的應(yīng)用價(jià)值。當(dāng)前國(guó)際流行的主要符號(hào)計(jì)算軟件都實(shí)現(xiàn)了吳文俊教授的算法。

曾獲得首屆國(guó)家自然科學(xué)一等獎(jiǎng)(1956)、中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)(1979)、第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)(1990)、陳嘉庚數(shù)理科學(xué)獎(jiǎng)(1993)、首屆香港求是科技基金會(huì)杰出科學(xué)家獎(jiǎng)(1994)、Herbrand自動(dòng)推理杰出成就獎(jiǎng)(1997)、首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)(2000)、第三屆邵逸夫數(shù)學(xué)獎(jiǎng)(2006)。

2010年5月4日，國(guó)際小行星中心先后發(fā)布公報(bào)通知國(guó)際社會(huì)，將國(guó)際永久編號(hào)第7683號(hào)小行星永久命名為“吳文俊星”。

1940-1945年先后在育英中學(xué)，培真中學(xué)，南洋模范女中，之江大學(xué)教書(shū)；期間曾失業(yè)半年

1946年年初到上海臨時(shí)大學(xué)任鄭太樸教授的助手，8月陳省身吸收吳文俊到數(shù)學(xué)所任助理研究員

1947-1949年攻讀法國(guó)國(guó)家博士學(xué)位

1947年完成一項(xiàng)重要拓?fù)鋵W(xué)研究，證明Whitney乘積公式和對(duì)偶定理，1948年在Annalsof Math上發(fā)表

1948年1947年11月赴法留學(xué)在Strassbourg大學(xué)跟隨C.Ehresmann學(xué)習(xí)

1948年開(kāi)始參加CNRS研究工作初任Attaché de recherches,1951年升為Changé de Recherches

1949年完成“論球叢空間結(jié)構(gòu)的示性類”的博士論文，論文于1952年單行本發(fā)表

1949年去蘇黎世訪問(wèn)獲法國(guó)國(guó)家博士學(xué)位

1949年夏去巴黎，跟隨H.Cartan繼續(xù)研究拓?fù)鋵W(xué)

1950年與Thom合作發(fā)表關(guān)于流形上Stiefel-Whitney示性類的論文，后通稱為吳類與吳公式

1951年8月回到中國(guó)，在北京大學(xué)數(shù)學(xué)系任教授

1952年10月到新建數(shù)學(xué)研究所任研究員

1954年開(kāi)始非同倫性拓?fù)洳蛔兞康难芯�，由此引入示嵌類并開(kāi)展復(fù)合形嵌入、浸入與同胚的研究

1956年赴蘇聯(lián)參加全蘇第三屆數(shù)學(xué)家大會(huì)做Pontrjagin示性類報(bào)告，受到好評(píng)

1956年隨同陳建功、程民德教授訪問(wèn)始同國(guó)外學(xué)術(shù)界恢復(fù)聯(lián)系，陳省身等華裔數(shù)學(xué)羅馬尼亞

1956年隨同蘇步青教授訪問(wèn)保加利亞

1957年去波蘭、東德、法國(guó)訪問(wèn)

1958年在巴黎大學(xué)講課系統(tǒng)介紹示嵌類的工作，對(duì)于Haefliger等人有很大影響。

1958年“理論聯(lián)系實(shí)際”的運(yùn)動(dòng)中，拓?fù)鋵W(xué)研究中斷，開(kāi)始對(duì)策論的研究

1959年為中國(guó)科技大學(xué)力學(xué)系一年級(jí)講微積分

1960年9月?lián)�任中�?guó)科技大學(xué)數(shù)學(xué)系60級(jí)學(xué)生主教教師，講授微積分

1962年開(kāi)始對(duì)奇點(diǎn)理論進(jìn)行研究。對(duì)中學(xué)生作科普講座力學(xué)在幾何中的一些應(yīng)用，并由江嘉禾記錄成書(shū)由人民教育出版社出版

1963年科大60級(jí)設(shè)立幾何拓?fù)鋵�業(yè)，首次在科大開(kāi)出代數(shù)幾何學(xué)專門(mén)化課程，并由岳景中講授代數(shù)拓?fù)鋵W(xué)

1965年由科學(xué)出版社出版示嵌類理論的英文版，書(shū)名A theory of imbedding,immersion,and isotopy of polytopesinan Euclideanspace

1967年完成“示嵌類理論在布線問(wèn)題上的應(yīng)用”

1972年中國(guó)開(kāi)家開(kāi)始回國(guó)講學(xué)。美國(guó)拓?fù)鋵W(xué)家Browder,Peterson,Spencer等訪華，獲得他們與其他國(guó)外學(xué)者如Smale等贈(zèng)送的資料，使拓?fù)溲芯恐匦麻_(kāi)始

1973年數(shù)學(xué)所拓?fù)浣M開(kāi)始關(guān)于有理同倫論的討論班，吳文俊開(kāi)始其I*函子理論的研究

1974年英文示嵌類理論的中文版由科學(xué)出版社出版，書(shū)名為《可剖形在歐氏空間中的實(shí)現(xiàn)問(wèn)題》，加上布線問(wèn)題的一個(gè)附錄

1974年開(kāi)始對(duì)中國(guó)數(shù)學(xué)史感興趣，進(jìn)行一系列中國(guó)數(shù)學(xué)史的研究，并以顧[古]今用的筆名，寫(xiě)成“中國(guó)古代數(shù)學(xué)對(duì)世界文化的偉大貢獻(xiàn)”一文，明確推出“近代數(shù)學(xué)之所以能夠發(fā)展到今天，主要是靠中國(guó)[式]的數(shù)學(xué)，而非希臘[式]的數(shù)學(xué)，決定數(shù)學(xué)歷史發(fā)展進(jìn)程的主要是靠中國(guó)[式]的數(shù)學(xué)，而非希臘[式]的數(shù)學(xué)”，該文發(fā)表于數(shù)學(xué)學(xué)報(bào)1975年第18期。

1976年末開(kāi)始定理機(jī)械化證明的研究，于次年春節(jié)期間取得成功

1977年首次發(fā)表定理的機(jī)械化證明的論文，由此開(kāi)辟全新的方向。

1978年撰寫(xiě)“數(shù)學(xué)概況及其發(fā)展”一文，發(fā)表于科學(xué)出版社的《現(xiàn)代科學(xué)技術(shù)簡(jiǎn)介》一書(shū)，文中提出了腦力勞動(dòng)機(jī)械化，但于刊印時(shí)被刪去。

1978年發(fā)表微分幾何定理的機(jī)械化證明，在全國(guó)自然辯證法講習(xí)會(huì)上提出數(shù)學(xué)機(jī)械化問(wèn)題

1979年應(yīng)邀去美國(guó)普林斯頓高等研究院訪問(wèn)，并訪問(wèn)Rockefeller大學(xué)，Columbia大學(xué)，JohnsHopkins大學(xué)，MIT，Philadelphia大學(xué)，Brandlis大學(xué)，加州大學(xué)Berkeley分校，應(yīng)邀去加州大學(xué)Berkeley分校參加陳省身退休慶祝會(huì)，會(huì)上作了I*函子報(bào)告。加入中國(guó)共產(chǎn)黨。

1979年去長(zhǎng)春參加有關(guān)計(jì)算機(jī)與數(shù)學(xué)的學(xué)術(shù)會(huì)議

1979年10月關(guān)肇直創(chuàng)建系統(tǒng)科學(xué)研究所，吳文俊離數(shù)學(xué)所去系統(tǒng)所，任副所長(zhǎng)

1979年秋在中國(guó)科技大學(xué)研究生院開(kāi)設(shè)機(jī)器證明的專門(mén)化課程

1980年國(guó)內(nèi)開(kāi)始舉辦雙微會(huì)議，在首次會(huì)議上做報(bào)告“初等幾何和微分幾何的定理機(jī)械化證明”。

1981年秋去美國(guó)加州大學(xué)Berkeley分校講學(xué)

1982年秋~1983年初訪問(wèn)西德Max-Planck數(shù)學(xué)研究所，訪問(wèn)法國(guó)

1983年去美國(guó)Cororado大學(xué)，加州大學(xué)洛杉機(jī)分校，Chicago大學(xué)，Illinois大學(xué)，Honston大學(xué)訪問(wèn)。

1984年由W.W.Bledsoe等編輯的《Automated Theorem Proving:After 25 Years》出版，收入?yún)俏目〉牡旎�性論文，吳文俊的機(jī)械化數(shù)學(xué)思想在國(guó)際上得到廣泛傳播。

1984年秋在中國(guó)科技大學(xué)研究生院開(kāi)設(shè)機(jī)器證明理論課程

1985年第六屆雙微會(huì)議上報(bào)告。

1985年10月組織劉徽數(shù)學(xué)討論班，由多位專家介紹數(shù)學(xué)某些領(lǐng)域的最新進(jìn)展。與呂學(xué)禮合作撰寫(xiě)通俗著作《分角線相等的三角形》，由人民教育出版社出版。

1986年6月訪問(wèn)美國(guó)通用電氣公司Xerox，Parc，HP實(shí)驗(yàn)室，7月訪問(wèn)美國(guó)紐約庫(kù)朗研究所。訪問(wèn)Texas大學(xué)Austin分校計(jì)算機(jī)科學(xué)系。

1986年8月應(yīng)邀在第20屆國(guó)際數(shù)學(xué)家大會(huì)上作“Recent Studies of the History of Chinese Mathematics”報(bào)告，訪問(wèn)Argonne國(guó)家實(shí)驗(yàn)室。

1986年通俗文選“吳文俊文集”由山東教育出版社出版。

1987年關(guān)于I*-函子的研究總結(jié)成Rational homotopy type,Aconstructive Studyvia the theory of theI*-measure一書(shū)，由Springer出版社出版

1987年5月訪問(wèn)東德，參加萊比錫Eurocal’87會(huì)議。

1987年7月訪問(wèn)意大利Catania大學(xué)，參加數(shù)學(xué)自動(dòng)推理國(guó)際會(huì)議

1987年10月訪問(wèn)加拿大，參加國(guó)際符號(hào)與代數(shù)計(jì)算會(huì)議。

1988年7月參加美國(guó)Ithaca,Algorithmic Aspect of Geometryand Algebra國(guó)際會(huì)議，作系統(tǒng)報(bào)告。

1988年7月巴黎國(guó)際數(shù)學(xué)和計(jì)算機(jī)模擬大會(huì)，被邀請(qǐng)為一專家小組的召集人，曾組織數(shù)人參加，吳文俊未成行。

1988年9月－10月參加巴黎Thom紀(jì)念會(huì)。并作報(bào)告：A Constructive Theory of Algebraic Differential Geometry and its Application。邀請(qǐng)為一專家小組的召集人，曾組織數(shù)人參加，吳文俊未成行。到法國(guó)Strassbourg大學(xué)計(jì)算機(jī)科學(xué)系和西德Goettingen大學(xué)進(jìn)行學(xué)術(shù)訪問(wèn)。

1988年12月1985年劉徽數(shù)學(xué)討論班的部份報(bào)告由安徽科技出版社出版，書(shū)名《現(xiàn)代數(shù)學(xué)的進(jìn)展》。

1990年3月到加拿大Montreal大學(xué)學(xué)術(shù)訪問(wèn)。

1990年5月訪問(wèn)蘇聯(lián)，在Dubna參加“物理科學(xué)中的計(jì)算機(jī)代數(shù)”國(guó)際會(huì)議。

1990年8月在香港召開(kāi)首屆亞洲數(shù)學(xué)大會(huì)，做“方程求解與定理求證”報(bào)告。

1990年8月成立中國(guó)科學(xué)院系統(tǒng)科學(xué)研究所數(shù)學(xué)機(jī)械化研究中心，并任中心主任。

1990年獲第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)

1990年10月赴美國(guó)LosAngels微分幾何暑期學(xué)校為陳省身教授祝壽

1991年1－2月到美國(guó)Maryland大學(xué)系統(tǒng)研究中心訪問(wèn)，并參加“幾何與學(xué)習(xí)工作會(huì)議”。到Duke大學(xué)學(xué)術(shù)訪問(wèn)。

1991年1月－6月在南開(kāi)數(shù)學(xué)所學(xué)術(shù)年由吳文俊與胡國(guó)定共同主持計(jì)算機(jī)數(shù)學(xué)的系列報(bào)告，報(bào)告由新加坡World Scientific于1993年出版，書(shū)名為Computer Mathematics

1991年4月去Grenoble參加CDE會(huì)議。到巴黎對(duì)IHES、巴黎第VII大學(xué)、綜合工科學(xué)校進(jìn)行學(xué)術(shù)訪問(wèn)。

1992年赴科威特接受1990年第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)的頒獎(jiǎng)

1992年7月與程民德教授共同主持在北京舉行的數(shù)學(xué)機(jī)械化國(guó)際會(huì)議，會(huì)議錄由International Academic Publishers出版。

1992年8月去奧地利參加AAGR，對(duì)RISC研究所進(jìn)行學(xué)術(shù)訪問(wèn)

1993年3月隨科學(xué)家代表團(tuán)訪問(wèn)臺(tái)灣。

1993年10月去南韓慶北大學(xué)幾何拓?fù)溲芯克�訪問(wèn)

1994年7月與石赫去威海研究生數(shù)學(xué)暑期學(xué)校主持?jǐn)?shù)學(xué)機(jī)械化暑期講習(xí)班。

1994年8月參加北京舉行的ISSAC國(guó)際會(huì)議。

1994年9月去香港。王東明將《幾何定理機(jī)器證明的基本原理(初等幾何部分)》譯成英文，由Springer出版，英文書(shū)名為Mechanical Theorem Proving in Geometries

1995年5月接受香港城市大學(xué)名譽(yù)博士學(xué)位

1995年5月去美國(guó)Albuquesque參加計(jì)算機(jī)代數(shù)應(yīng)用學(xué)術(shù)會(huì)議

1995年8月參加由中日聯(lián)合舉辦在北京舉行的首屆亞洲計(jì)算機(jī)數(shù)學(xué)研討會(huì)。

1995年12月去新加坡參加第一屆亞洲數(shù)學(xué)科技會(huì)議，作大會(huì)報(bào)告“幾何問(wèn)題求解及其現(xiàn)實(shí)意義”。

1996年5月隨陳省身教授去貴陽(yáng)講學(xué)，三次通俗報(bào)告載貴州教育學(xué)院學(xué)報(bào)1997年48卷3期

1996年“吳文俊文集”的增訂本改名為“吳文俊論數(shù)學(xué)機(jī)械化”，仍由山東教育出版社出版

1996年去香港參加天元基金領(lǐng)導(dǎo)小組擴(kuò)大會(huì)議

1996年7月與石赫、劉卓軍等在北大主持?jǐn)?shù)學(xué)機(jī)械化的暑期講習(xí)班。

1996年11月去意大利Trieste參加第三世界科學(xué)院大會(huì)

1996年12月去臺(tái)灣參加數(shù)學(xué)年會(huì)

1997年6月去Berkeley參加北美青年數(shù)學(xué)家學(xué)術(shù)會(huì)議

1997年7月去澳大利亞Townsville參加CADE-14國(guó)際會(huì)議，并領(lǐng)取自動(dòng)推理的最高獎(jiǎng)Herbrand獎(jiǎng)，訪問(wèn)Camberra澳大利亞國(guó)立大學(xué)。

1998年8月參加在北京舉行的第二屆ADG(幾何中的自動(dòng)推理)國(guó)際會(huì)議

1998年8月參加由中日聯(lián)合舉辦在蘭洲舉行的第三屆亞洲計(jì)算機(jī)數(shù)學(xué)國(guó)際會(huì)議

1998年8月與林東岱、張文嶺同赴新疆為天元基金作學(xué)術(shù)報(bào)告

1998年將1997年以來(lái)關(guān)于數(shù)學(xué)機(jī)械化的工作總結(jié)成書(shū)，書(shū)名為Mathematics Mechanization:Geometry Theorem Proving,Geometry Problem-Solving and Polynomial Equation-Solving將由科學(xué)出版社出版。

1999年10月10－17日參加在成都舉辦的>

1999年10月21日訪問(wèn)武漢華中理工大學(xué)，被授予名譽(yù)教授并作了通俗報(bào)告>

1999年11月6日參加在廣州舉行的紀(jì)念關(guān)肇直先生八十誕辰的學(xué)術(shù)研討會(huì)。

1999年12月15日－20日去德國(guó)訪問(wèn)，參加國(guó)際數(shù)學(xué)家大會(huì)。

2000年1月10－14日參加在澳門(mén)舉行的“數(shù)學(xué)及其在文明中的作用”國(guó)際會(huì)議上做題為“A Tentative Comparatives Study of Mathematics in Ancient China and Ancient Greece”的邀請(qǐng)報(bào)告。

2000年1月14日－18日參加在香港舉行的“數(shù)學(xué)普及講座及交流系列研討會(huì)II”，做題為“中國(guó)傳統(tǒng)數(shù)學(xué)的特色及其現(xiàn)代意義”的報(bào)告。

2000年7月18日至7月28日參加“計(jì)算微分代數(shù)暑期高級(jí)研討班”并做報(bào)告。

2000年9月27－28日參加在瑞士蘇伊士ETH舉行的第三屆“國(guó)際幾何推理會(huì)議”(ADG‘2000)，主講opensession。

2000年9月28日－10月6日參加在法國(guó)巴黎舉行的學(xué)術(shù)交流會(huì)，做題為：Global Optimiztion and its Applications的報(bào)告。

11月9日－15日參加在伊朗舉辦的“International Congresson Ghyathal-din Jamshid Kashani-ICGK2000”國(guó)際會(huì)議，做題為：“Polynomial Equations－Solving in Ancient China and its Role in Modern Times”的邀請(qǐng)報(bào)告。

2000年12月18－21日參加在泰國(guó)清邁舉行的第四屆“亞洲計(jì)算機(jī)數(shù)學(xué)研討會(huì)”（ASCM’2000）并在會(huì)上做報(bào)告。

2001年2月19日榮獲首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)。授獎(jiǎng)大會(huì)在人民大會(huì)堂隆重舉行。江澤民總書(shū)記親自向吳文俊院士與另一位獲獎(jiǎng)?wù)咴�隆平頒獎(jiǎng)。

2001年2月訪問(wèn)德國(guó)Maxplanck數(shù)學(xué)研究所

2001年3月在合肥中國(guó)科大舉辦的“有效代數(shù)方法高級(jí)研討班”上做報(bào)告。

2001年9月中國(guó)科協(xié)在長(zhǎng)春舉行2001年學(xué)術(shù)年會(huì)，吳作了大會(huì)報(bào)告，題為：腦力勞動(dòng)機(jī)械化與科學(xué)技術(shù)現(xiàn)代化

2001年9月在上海現(xiàn)代數(shù)學(xué)國(guó)際會(huì)議上作了大會(huì)邀請(qǐng)報(bào)告，題為：OnAlgebraicDifferentialGeometryandAlgebraicDifferentialEquations

2001年10月訪問(wèn)香港城市大學(xué)

2001年10月在香港舉行第九屆國(guó)際中國(guó)科學(xué)史會(huì)上作了大會(huì)邀請(qǐng)報(bào)告，題為：On Some Characteristic Features of Chinese Mathematics

2001年10月在深圳高信技術(shù)論壇期間，于10月13至14日舉行第一屆院士論壇上和周光召同志擔(dān)任主講。主講的題目為：數(shù)學(xué)機(jī)械化及其在高科技中的作用。

2001年10月吳文俊在天津南開(kāi)大學(xué)數(shù)學(xué)所舉行的“二十一世紀(jì)的中國(guó)數(shù)學(xué)”學(xué)術(shù)報(bào)告會(huì)上作報(bào)告，題目：21世紀(jì)的中國(guó)數(shù)學(xué)。

2001年英文著作>2001年榮獲第五屆國(guó)家圖書(shū)獎(jiǎng)。

2002年6月在清華為祝賀楊振寧80壽辰而舉行的國(guó)際學(xué)術(shù)會(huì)議“Frontiers of Science”上作“Some Reflections on the Mechanization of Mental Laborin the Computer Age”

2002年8月國(guó)際數(shù)學(xué)家大會(huì)公開(kāi)演講，“中國(guó)古算與實(shí)數(shù)系統(tǒng)”

2002年9月應(yīng)香港鳳凰電視臺(tái)邀請(qǐng)，在清華大學(xué)作"計(jì)算機(jī)時(shí)代的中國(guó)數(shù)學(xué)"的演講。

2003年1月10日在“數(shù)學(xué)機(jī)械化軟件研討會(huì)”上做報(bào)告：“計(jì)算機(jī)時(shí)代的腦力勞動(dòng)機(jī)械化與數(shù)學(xué)機(jī)械化”的報(bào)告。

2003年11月17日在廣東工業(yè)大學(xué)做報(bào)告：“拓?fù)鋵W(xué)到機(jī)器證明”.

2003年11月19日在中國(guó)智能學(xué)會(huì)2003全國(guó)學(xué)術(shù)大會(huì)、可拓學(xué)創(chuàng)立20年慶祝大會(huì)、中韓智能系統(tǒng)學(xué)術(shù)研討會(huì)上作“計(jì)算機(jī)時(shí)代腦力機(jī)械化與科學(xué)技術(shù)現(xiàn)代化”報(bào)告

2003年11月27日在The 1st Asian Symposiumon Programming Language and Systems上作Ona Method of Global Optimization報(bào)告。

2003年11月28日在中國(guó)科學(xué)人文論壇上做報(bào)告：“計(jì)算機(jī)時(shí)代的東方數(shù)學(xué)”。

2004年5月19－21日參加在上海市青浦區(qū)朱家角鎮(zhèn)舉辦的“第六屆國(guó)際數(shù)學(xué)機(jī)械化研討會(huì)”(IWMM6)。

2004年5月24日在上海復(fù)旦大學(xué)做報(bào)告：“計(jì)算機(jī)時(shí)代的東方數(shù)學(xué)”

2004年11月8-9日參加數(shù)學(xué)機(jī)械化重點(diǎn)實(shí)驗(yàn)室在香山別墅舉行的實(shí)驗(yàn)室戰(zhàn)略發(fā)展學(xué)術(shù)研討會(huì)，作會(huì)議總結(jié)。

2005年7月24日至27日參加在北京舉行的ISSAC’2005，做邀請(qǐng)報(bào)告：Finite Kernel Theorem and Applications

2005年7月參加科學(xué)史國(guó)際會(huì)，做報(bào)告：On the Development of Real Number System in Ancient China

2005年9月26日被聘為中國(guó)石油大學(xué)(東營(yíng))榮譽(yù)教授。當(dāng)天參觀了石油大學(xué)校史陳列館與展覽館、重質(zhì)油國(guó)家重點(diǎn)實(shí)驗(yàn)室、高壓水射流研究中心和石大科技集團(tuán)，并出席了“授予吳文俊院士榮譽(yù)教授儀式暨學(xué)術(shù)報(bào)告會(huì)”；次日接受了山東衛(wèi)視的專訪。

2006年4月25日至28日到安徽省馬鞍山市和蕪湖市進(jìn)行了考察，參觀了安徽工業(yè)大學(xué)、馬鋼第一鋼軋總廠、安徽華東光電研究所、奇瑞公司等單位，并受聘為安徽工業(yè)大學(xué)榮譽(yù)教授。

2006年6月獲得第三屆邵逸夫獎(jiǎng)數(shù)學(xué)獎(jiǎng)。

1978年12月-1983年2月，第五屆全國(guó)政治協(xié)商會(huì)議常委

1979年10月-1984年2月，中科院系統(tǒng)所副所長(zhǎng)

1983年3月-1988年2月，第六屆全國(guó)政治協(xié)商會(huì)議常委

1984年2月起中科院系統(tǒng)所名譽(yù)所長(zhǎng)

1984年-1987年中國(guó)數(shù)學(xué)會(huì)理事長(zhǎng)

1988年3月-1993年2月，第七屆全國(guó)政治協(xié)商會(huì)議常委

1990年8月-1999年5月，中科院系統(tǒng)所數(shù)學(xué)機(jī)械化研究中心主任

1992年4月-1996年4月，中國(guó)科學(xué)院數(shù)理學(xué)部主任

1993年3月-1998年2月，第八屆全國(guó)政治協(xié)商會(huì)議常委

1996年任天元基金領(lǐng)導(dǎo)小組組長(zhǎng)(接替原組長(zhǎng)程民德教授)

1948年開(kāi)始參加CNRS研究工作初任Attaché de recherches,1951年升為Changé de Recherches

國(guó)家科委攀登項(xiàng)目“機(jī)器證明及其應(yīng)用”，任項(xiàng)目專家委員會(huì)首席科學(xué)家（1992年）

國(guó)家科委攀登項(xiàng)目“數(shù)學(xué)機(jī)械化及其應(yīng)用”，任專家委員會(huì)首席科學(xué)家（1996年）

國(guó)家重點(diǎn)基礎(chǔ)研究規(guī)劃項(xiàng)目“數(shù)學(xué)機(jī)械化與自動(dòng)推理平臺(tái)”。專家委員會(huì)的首席科學(xué)家改由高小山擔(dān)任，吳文俊退為專家委員會(huì)的學(xué)術(shù)指導(dǎo)，屬顧問(wèn)性質(zhì)（1999年）

1956年因示性類及示嵌類的工作榮獲國(guó)家第一屆自然科學(xué)獎(jiǎng)最高獎(jiǎng)一等獎(jiǎng)（其他兩位一等獎(jiǎng)獲得者為華羅庚和錢學(xué)森） 1957年1月增選為中國(guó)科學(xué)院院士

1958年邀請(qǐng)?jiān)?958年國(guó)際數(shù)學(xué)家大會(huì)（愛(ài)丁堡）做分組報(bào)告（未能成行）

1978年全國(guó)科學(xué)大會(huì)得科學(xué)大會(huì)獎(jiǎng)

1988年7月巴黎國(guó)際數(shù)學(xué)和計(jì)算機(jī)模擬大會(huì)，被邀請(qǐng)為專家小組的召集人，(未成行)。

1992年獲得第三世界科學(xué)院數(shù)學(xué)獎(jiǎng)

1993年度陳嘉庚數(shù)理科學(xué)獎(jiǎng)

1994年榮獲香港求是基金會(huì)“杰出科學(xué)家獎(jiǎng)”

1997年獲自動(dòng)推理的最高獎(jiǎng)Herbrand獎(jiǎng)

香港城市大學(xué)名譽(yù)博士學(xué)位

2000年國(guó)家最高科學(xué)技術(shù)獎(jiǎng)

2000年度國(guó)家最高科技獎(jiǎng)[1]

2006年邵逸夫數(shù)學(xué)獎(jiǎng)

吳文俊教授的數(shù)學(xué)研究活動(dòng)，可分為前后兩個(gè)時(shí)期，涉及到好幾個(gè)數(shù)學(xué)領(lǐng)域， 在代數(shù)拓?fù)浜蜋C(jī)器證明兩個(gè)領(lǐng)域有重大貢獻(xiàn)，對(duì)數(shù)學(xué)研究影響深遠(yuǎn)。前期自1947 年至70年代，以代數(shù)拓?fù)錇橹�，他的貢獻(xiàn)主要有兩個(gè)方面：

通過(guò)Grassmann流形對(duì)在30年代由瑞士Stiefel，美國(guó)Whitney，蘇聯(lián)Pontrjajin 和陳省身通過(guò)不同途徑引入的示性類進(jìn)行了系統(tǒng)的論述，確定了名稱，探討了相應(yīng)關(guān)系，并應(yīng)用于流形的構(gòu)造。他引入的上同調(diào)類，后來(lái)在文獻(xiàn)中被稱之為吳示性類，他提出的蘊(yùn)含拓?fù)洳蛔冃院屯瑐惒蛔冃缘膬蓚�(gè)公式，后來(lái)都被稱之為吳公式。由于這些結(jié)果的根本重要性，在多種問(wèn)題中被廣泛應(yīng)用，如50年代德國(guó)的Dold,60年代德國(guó)的 Hirzebruch蘇聯(lián)的Novikov并因而獲Fields獎(jiǎng)，美國(guó)的Bott 與Milnor等等。

他引入具有非同倫拓?fù)洳蛔兞康囊环N一般構(gòu)造方法，并系統(tǒng)地用之于嵌入問(wèn)題，引入了復(fù)合形示嵌類，并用同樣方法研究浸入問(wèn)題與同痕問(wèn)題，引入類似的示浸類與示痕類。瑞士Haefiger由于在1958年聽(tīng)到了他關(guān)于上述示嵌類研究工作的講學(xué)，于1961年將嵌入問(wèn)題作了重要推廣，因而成為瑞士主要拓?fù)鋵＜�。美�?guó)Smale應(yīng)用他的工作于維數(shù)大于4的Poincare猜測(cè)，并因而獲Fields獎(jiǎng)。他后來(lái)應(yīng)用關(guān)于示嵌類的成果于電路布線問(wèn)題，給出線性圖平面性的新的判定準(zhǔn)則，與以往的判定準(zhǔn)則在性質(zhì)上完全不同，尤其是可計(jì)算。

應(yīng)當(dāng)注意的是他在1956年前完成的研究成果的重要性，在多年以后才顯現(xiàn)出來(lái)，至今仍在國(guó)際上廣泛引用。

后期始于1976年，從事機(jī)器征明與數(shù)學(xué)機(jī)械化的研究。

他提出的用計(jì)算機(jī)證明幾何定理的方法，與常用的基于數(shù)理邏輯的方法根本不同，顯現(xiàn)了無(wú)比的優(yōu)越性，改變了國(guó)際上自動(dòng)推理研究的面貌，被稱為自動(dòng)推論領(lǐng)域的先驅(qū)性工作，并因此獲得Herbrand自動(dòng)推論杰出成就獎(jiǎng)。以下是14屆國(guó)際自動(dòng)推論大會(huì)上對(duì)吳文俊工作的介紹與評(píng)價(jià)。

“吳文俊在自動(dòng)推理界以他于1977年發(fā)明的(定理證明)方法著稱。這一方法是幾何定理自動(dòng)證明領(lǐng)域的突破�！薄皫缀味ɡ碜詣�(dòng)證明首先由Herbert Gerlenter于五十年代開(kāi)始研究。雖然得到了一些有意義的結(jié)果，但在吳方法出現(xiàn)之前的二十年里這一領(lǐng)域進(jìn)展甚微。在不多的自動(dòng)推理領(lǐng)域中，這種被動(dòng)局面是由一個(gè)人完全扭轉(zhuǎn)的。吳文俊很明顯是這樣一個(gè)人。”“吳的工作將幾何定理證明自動(dòng)推理的一個(gè)不太成功的領(lǐng)域變?yōu)樽畛晒Φ念I(lǐng)域之一。在很少的領(lǐng)域中，我們可以將機(jī)器證明歸于一個(gè)人的工作。幾何定理證明就是這樣的一個(gè)領(lǐng)域�！� 他引入的求解非線性代數(shù)方程組的吳方法是求解代數(shù)方程組精確解最完整的方法之一，已經(jīng)被成功地用于解決很多問(wèn)題，并實(shí)現(xiàn)在當(dāng)前流行的符號(hào)計(jì)算軟件中。歐共體資助的 POSSO計(jì)劃(POlynomial System SOlving)中也有吳方法的專用軟件包。吳方法還被用于若干高科技領(lǐng)域，得到一系列國(guó)際領(lǐng)先的成果。包括曲面造型，機(jī)器人機(jī)構(gòu)的位置分析，智能CAD系統(tǒng)(計(jì)算機(jī)輔助設(shè)計(jì))，機(jī)器人，圖像壓縮等。八十年代末，他提出了偏微分代數(shù)方程組的整序方法，是目前處理偏微分代數(shù)方程組的完整的構(gòu)造性方法。該方法已被應(yīng)用于微分幾何定理機(jī)器證明和偏微分方程組求解。擴(kuò)展了代數(shù)簇的通常局限無(wú)奇點(diǎn)情形的陳示性數(shù)于有任意奇點(diǎn)的陳類與陳數(shù)，且定義是可計(jì)算的，形成代數(shù)幾何機(jī)械化的新篇章。他給出了多元多項(xiàng)式組的零點(diǎn)結(jié)構(gòu)定理，這是構(gòu)造性代數(shù)幾何發(fā)展的重要標(biāo)志。

吳文俊在數(shù)學(xué)上作出了許多重大的貢獻(xiàn)。

◆拓?fù)鋵W(xué)方面，在示性類、示嵌類等領(lǐng)域獲得一系列成果，還得到了許多著名的公式，指出了這些理論和方法的廣泛應(yīng)用。他還在拓?fù)洳蛔兞�、代�?shù)流形等問(wèn)題上有創(chuàng)造性工作。1956年吳文俊因在拓?fù)鋵W(xué)中的示性類和示嵌類方面的卓越成就獲中國(guó)自然科學(xué)獎(jiǎng)一等獲。

◆數(shù)學(xué)機(jī)械化或機(jī)器證明方面，從初等幾何著手，在計(jì)算機(jī)上證明了一類高難度的定理，同時(shí)也發(fā)現(xiàn)了一些新定理，進(jìn)一步探討了微分幾何的定理證明。提出了利用機(jī)器證明與發(fā)現(xiàn)幾何定理的新方法。這項(xiàng)工作為數(shù)學(xué)研究開(kāi)辟了一個(gè)新的領(lǐng)域，將對(duì)數(shù)學(xué)的革命產(chǎn)生深遠(yuǎn)的影響。1978年獲全國(guó)科學(xué)大會(huì)重大科技成果獎(jiǎng)。

◆中國(guó)數(shù)學(xué)史方面，吳文俊認(rèn)為中國(guó)古代數(shù)學(xué)的特點(diǎn)是：從實(shí)際問(wèn)題出發(fā)，經(jīng)過(guò)分析提高，再抽象出一般的原理、原則和方法，最終達(dá)到解決一大類問(wèn)題的目的。他對(duì)中國(guó)古代數(shù)學(xué)在數(shù)論、代數(shù)、幾何等方面的成就也提出了精辟的見(jiàn)解。

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。

混合計(jì)算，(《21世紀(jì)100個(gè)交叉科學(xué)難題》)。

解方程今與昔，(《科學(xué)與中國(guó)》 2004,p.16-19)。

探索與實(shí)踐-我的科學(xué)研究歷程，(《科學(xué)的力量》2004,p.11-19)。

計(jì)算機(jī)時(shí)代的東方數(shù)學(xué) (《世紀(jì)機(jī)遇》，中國(guó)科學(xué)家人文論壇演講錄，路甬祥，鄭必堅(jiān)編，2004,p.181-194)。

計(jì)算機(jī)時(shí)代的腦力勞動(dòng)機(jī)械化與科學(xué)技術(shù)現(xiàn)代化，(《人工智能及其應(yīng)用》第三版，2004,p.5-10)。

創(chuàng)新科研秉燭育人，民族復(fù)興建立功勛(《科學(xué)新聞》2004-18,p.4)。

紀(jì)念鄧小平同志誕辰100周年(《春天長(zhǎng)在豐碑永存》2004,p.140-143,科學(xué)技術(shù)出版社)

推動(dòng)數(shù)學(xué)界人才成長(zhǎng)，(《隨中國(guó)科技騰飛》，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

混合計(jì)算，21世紀(jì)100個(gè)交叉科學(xué)難題，656-657,2005

On a Finite Kernel Theorem for Polynomial-Type Optimization Problems and some of its Applications,ISSAC’05,4,2005

中國(guó)數(shù)學(xué)家吳文俊教授在他60壽辰的那天，仍如往常，黎明即起，整天沉浸在運(yùn)算和公式中，有人特地選定在這一天的晚間登門(mén)拜訪，寒暄之后，說(shuō)明來(lái)意：“聽(tīng)您夫人說(shuō)，今天是您60大壽，特來(lái)表示祝賀�！眳俏目》路鹇�(tīng)了一個(gè)新聞，恍然大悟地說(shuō)：“哦，是嗎？我倒忘了�！眮�(lái)人暗暗吃驚，心想：“數(shù)學(xué)家的腦子里裝滿了數(shù)字，怎么連自己的生日也記不得了？其實(shí)，吳文俊對(duì)日期的記憶力是很強(qiáng)的，他在將近花甲之年的時(shí)候，又攻破了一個(gè)難題——“機(jī)器證明�！边@改變了數(shù)學(xué)家“一支筆、一張紙、一個(gè)腦袋”的勞動(dòng)方式，運(yùn)用電子計(jì)算機(jī)來(lái)實(shí)現(xiàn)數(shù)學(xué)證明。他在進(jìn)行這項(xiàng)課題的研究過(guò)程中，對(duì)于電子計(jì)算機(jī)安裝的日期、為計(jì)算機(jī)最后編成300多道“指令”程序的日期，都記得一清二楚。

2017年5月7日7時(shí)21分，吳文俊在北京不幸去世，享年98歲。

2017年5月11日，吳文俊遺體告別儀式在八寶山殯儀館舉行。