吳文俊

吳文俊

吳文俊,1919年5月12日出生于上海,祖籍浙江嘉興,數學家,中國科學院院士,中國科學院數學與系統科學研究院研究員,系統科學研究所名譽所長。

吳文俊畢業于交通大學(現上海交通大學、西安交通大學)數學系,1949年,獲法國斯特拉斯堡大學博士學位;1957年,當選為中國科學院學部委員(院士);1991年,當選第三世界科學院院士;2001年2月,獲2000年度國家最高科學技術獎

吳文俊的研究工作涉及數學的諸多領域,其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作;他的示性類和示嵌類研究被國際數學界稱為"吳公式","吳示性類","吳示嵌類",至今仍被國際同行廣泛引用。

  • 中文名稱
    吳文俊
  • 外文名稱
    Wentsun Wu
  • 國籍
    中國
  • 民族
  • 出生地
    上海
  • 出生日期
    1919.5.12(己未年)
  • 職業
    數學家,院士
  • 畢業院校
    上海交通大學
  • 信仰
    科學
  • 主要成就
    拓撲學,數學機械化2000年度國家最高科技獎首屆國家自然科學一等獎(1956)
  • 代表作品
    《幾何定理的機械化證明》,《數學機械化》
  • 逝世日期
    -

簡歷

吳文俊吳文俊

1936年8月—1940年7月交通大學數學系學習畢業

1940年9月—1941年12月上海育英中學任教員

1942年9月—1945年12月上海培真中學任教員

1946年1月—1946年7月上海臨時大學任助教

1946年8月—1947年6月上海中央研究院數學研究所實習研究員

1947年11月—1951年7月法國留學,獲法國國家博士學位

1951年9月—1952年9月北京大學數學系教授

1952年10月—1979年9月中國科學院數學研究所研究員

1979年10月—1998年中國科學院系統科學研究所研究員

1998年12月——中國科學院數學與系統科學研究院系統科學研究所研究員

工作經歷

吳文俊吳文俊

1940-1945年先後在育英中學,培真中學,南洋模範女中,之江大學教書;期間曾失業半年

1946年年初到上海臨時大學任鄭太樸教授的助手,8月陳省身吸收吳文俊到數學所任助理研究員

1947-1949年攻讀法國國家博士學位

1947年完成一項重要拓撲學研究,證明Whitney乘積公式和對偶定理,1948年在AnnalsofMath上發表

1948年1947年11月赴法留學在Strassbourg大學跟隨C.Ehresmann學習

1948年開始參加CNRS研究工作初任Attachéderecherches,1951年升為ChangédeRecherches

1949年完成“論球叢空間結構的示性類”的博士論文,論文于1952年單行本發表

1949年去蘇黎世訪問獲法國國家博士學位

1949年夏去巴黎,跟隨H.Cartan繼續研究拓撲學

1950年與Thom合作發表關于流形上Stiefel-Whitney示性類的論文,後通稱為吳類與吳公式

1951年8月回到中國,在北京大學數學系任教授

1952年10月到新增數學研究所任研究員

1954年開始非同倫性拓撲不變數的研究,由此引入示嵌類並開展復合形嵌入、浸入與同胚的研究

1956年赴蘇聯參加全蘇第三屆數學家大會做Pontrjagin示性類報告,受到好評

1956年隨同陳建功、程民德教授訪問始同國外學術界恢復聯系,陳省身等華裔數學羅馬尼亞

1956年隨同蘇步青教授訪問保加利亞

1957年去波蘭、東德、法國訪問

1958年在巴黎大學講課系統介紹示嵌類的工作,對于Haefliger等人有很大影響。

1958年“理論聯系實際”的運動中,拓撲學研究中斷,開始對策論的研究

1959年為中國科技大學力學系一年級講微積分

1960年9月擔任中國科技大學數學系60級學生主教教師,講授微積分

1962年開始對奇點理論進行研究。對中學生作科普講座力學在幾何中的一些套用,並由江嘉禾記錄成書由人民教育出版社出版

1963年科大60級設立幾何拓撲專業,首次在科大開出代數幾何學專門化課程,並由岳景中講授代數拓撲學

1965年由科學出版社出版示嵌類理論的英文版,書名Atheoryofimbedding,immersion,andisotopyofpolytopesinanEuclideanspace

1967年完成“示嵌類理論在布線問題上的套用”

1972年中國開家開始回國講學。美國拓撲學家Browder,Peterson,Spencer等訪華,獲得他們與其他國外學者如Smale等贈送的資料,使拓撲研究重新開始

1973年數學所拓撲組開始關于有理同倫論的討論班,吳文俊開始其I*函子理論的研究

1974年英文示嵌類理論的中文版由科學出版社出版,書名為《可剖形在歐氏空間中的實現問題》,加上布線問題的一個附錄

1974年開始對中國數學史感興趣,進行一系列中國數學史的研究,並以顧[古]今用的筆名,寫成“中國古代數學對世界文化的偉大貢獻”一文,明確推出“近代數學之所以能夠發展到今天,主要是靠中國[式]的數學,而非希臘[式]的數學,決定數學歷史發展進程的主要是靠中國[式]的數學,而非希臘[式]的數學”,該文發表于數學學報1975年第18期。

1976年末開始定理機械化證明的研究,于次年春節期間取得成功

1977年首次發表定理的機械化證明的論文,由此開闢全新的方向。

1978年撰寫“數學概況及其發展”一文,發表于科學出版社的《現代科學技術簡介》一書,文中提出了腦力勞動機械化,但于刊印時被刪去。

1978年發表微分幾何定理的機械化證明,在全國自然辯證法講習會上提出數學機械化問題

1979年應邀去美國普林斯頓高等研究院訪問,並訪問Rockefeller大學,Columbia大學,JohnsHopkins大學,MIT,Philadelphia大學,Brandlis大學,加州大學Berkeley分校,應邀去加州大學Berkeley分校參加陳省身退休慶祝會,會上作了I*函子報告。加入中國共產黨。

1979年去長春參加有關電腦與數學的學術會議

1979年10月關肇直建立系統科學研究所,吳文俊離數學所去系統所,任副所長

1979年秋在中國科技大學研究生院開設機器證明的專門化課程

1980年國內開始舉辦雙微會議,在首次會議上做報告“初等幾何和微分幾何的定理機械化證明”。

1981年秋去美國加州大學Berkeley分校講學

1982年秋~1983年初訪問西德Max-Planck數學研究所,訪問法國

1983年去美國Cororado大學,加州大學洛杉機分校,Chicago大學,Illinois大學,Honston大學訪問。

1984年由W.W.Bledsoe等編輯的《AutomatedTheoremProving:After25Years》出版,收入吳文俊的奠基性論文,吳文俊的機械化數學思想在國際上得到廣泛傳播。

1984年秋在中國科技大學研究生院開設機器證明理論課程

1985年第六屆雙微會議上報告。

1985年10月組織劉徽數學討論班,由多位專家介紹數學某些領域的最新進展。與呂學禮合作撰寫通俗著作《分角線相等的三角形》,由人民教育出版社出版。

1986年6月訪問美國通用電氣公司Xerox,Parc,HP實驗室,7月訪問美國紐約庫朗研究所。訪問Texas大學Austin分校電腦科學系。

1986年8月應邀在第20屆國際數學家大會上作“RecentStudiesoftheHistoryofChineseMathematics”報告,訪問Argonne國家實驗室。

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

1987年關于I*-函子的研究總結成Rationalhomotopytype,AconstructiveStudyviathetheoryoftheI*-measure一書,由Springer出版社出版

1987年5月訪問東德,參加萊比錫Eurocal’87會議。

1987年7月訪問義大利Catania大學,參加數學自動推理國際會議

1987年10月訪問加拿大,參加國際符號與代數計算會議。

1988年7月參加美國Ithaca,AlgorithmicAspectofGeometryandAlgebra國際會議,作系統報告。

1988年7月巴黎國際數學和電腦模擬大會,被邀請為一專家小組的召集人,曾組織數人參加,吳文俊未成行。

1988年9月-10月參加巴黎Thom紀念會。並作報告:AConstructiveTheoryofAlgebraicDifferentialGeometryanditsApplication。邀請為一專家小組的召集人,曾組織數人參加,吳文俊未成行。到法國Strassbourg大學電腦科學系和西德Goettingen大學進行學術訪問。

1988年12月1985年劉徽數學討論班的部份報告由安徽科技出版社出版,書名《現代數學的進展》。

1990年3月到加拿大Montreal大學學術訪問。

1990年5月訪問蘇聯,在Dubna參加“物理科學中的電腦代數”國際會議。

1990年8月在香港召開首屆亞洲數學大會,做“方程求解與定理求證”報告。

1990年8月成立中國科學院系統科學研究所數學機械化研究中心,並任中心主任。

1990年獲第三世界科學院數學獎

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

1991年1-2月到美國Maryland大學系統研究中心訪問,並參加“幾何與學習工作會議”。到Duke大學學術訪問。

1991年1月-6月在南開數學所學術年由吳文俊與胡國定共同主持電腦數學的系列報告,報告由新加坡WorldScientific于1993年出版,書名為Computermathematics

1991年4月去Grenoble參加CDE會議。到巴黎對IHES、巴黎第VII大學、綜合工科學校進行學術訪問。

1992年赴科威特接受1990年第三世界科學院數學獎的頒獎

1992年7月與程民德教授共同主持在北京舉行的數學機械化國際會議,會議錄由InternationalAcademicPublishers出版。

1992年8月去奧地利參加AAGR,對RISC研究所進行學術訪問

1993年3月隨科學家代表團訪問台灣。

1993年10月去南韓慶北大學幾何拓撲研究所訪問

1994年7月與石赫去威海研究生數學暑期學校主持數學機械化暑期講習班。

1994年8月參加北京舉行的ISSAC國際會議。

1994年9月去香港。王東明將《幾何定理機器證明的基本原理(初等幾何部分)》譯成英文,由Springer出版,英文書名為MechanicalTheoremProvinginGeometries

1995年5月接受香港城市大學名譽博士學位

1995年5月去美國Albuquesque參加電腦代數套用學術會議

1995年8月參加由中日聯合舉辦在北京舉行的首屆亞洲電腦數學研討會。

1995年12月去新加坡參加第一屆亞洲數學科技會議,作大會報告“幾何問題求解及其現實意義”。

1996年5月隨陳省身教授去貴陽講學,三次通俗報告載貴州教育學院學報1997年48卷3期

1996年“吳文俊文集”的增訂本改名為“吳文俊論數學機械化”,仍由山東教育出版社出版

1996年去香港參加天元基金領導小組擴大會議

1996年7月與石赫、劉卓軍等在北大主持數學機械化的暑期講習班。

1996年11月去義大利Trieste參加第三世界科學院大會

1996年12月去台灣參加數學年會

1997年6月去Berkeley參加北美青年數學家學術會議

1997年7月去澳大利亞Townsville參加CADE-14國際會議,並領取自動推理的最高獎Herbrand獎,訪問Camberra澳大利亞國立大學。

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

1998年8月參加由中日聯合舉辦在蘭洲舉行的第三屆亞洲電腦數學國際會議

1998年8月與林東岱、張文嶺同赴新疆為天元基金作學術報告

1998年將1997年以來關于數學機械化的工作總結成書,書名為MathematicsMechanization:GeometryTheoremProving,GeometryProblem-SolvingandPolynomialEquation-Solving將由科學出版社出版。

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

1999年10月21日訪問武漢華中理工大學,被授予名譽教授並作了通俗報告>

1999年11月6日參加在廣州舉行的紀念關肇直先生八十誕辰的學術研討會。

1999年12月15日-20日去德國訪問,參加國際數學家大會。

2000年1月10-14日參加在澳門舉行的“數學及其在文明中的作用”國際會議上做題為“ATentativeComparativesStudyofMathematicsinAncientChinaandAncientGreece”的邀請報告。

2000年1月14日-18日參加在香港舉行的“數學普及講座及交流系列研討會II”,做題為“中國傳統數學的特色及其現代意義”的報告。

2000年7月18日至7月28日參加“計算微分代數暑期高級研討班”並做報告。

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

2000年9月28日-10月6日參加在法國巴黎舉行的學術交流會,做題為:GlobalOptimiztionanditsApplications的報告。

11月9日-15日參加在伊朗舉辦的“InternationalCongressonGhyathal-dinJamshidKashani-ICGK2000”國際會議,做題為:“PolynomialEquations-SolvinginAncientChinaanditsRoleinModernTimes”的邀請報告。

2000年12月18-21日參加在泰國清邁舉行的第四屆“亞洲電腦數學研討會”(ASCM’2000)並在會上做報告。

2001年2月19日榮獲首屆國家最高科學技術獎。授獎大會在人民大會堂隆重舉行。江澤民總書記親自向吳文俊院士與另一位獲獎者袁隆平頒獎。

2001年2月訪問德國Maxplanck數學研究所

2001年3月在合肥中國科大舉辦的“有效代數方法高級研討班”上做報告。

2001年9月中國科協在長春舉行2001年學術年會,吳作了大會報告,題為:腦力勞動機械化與科學技術現代化

2001年9月在上海現代數學國際會議上作了大會邀請報告,題為:OnAlgebraicDifferentialGeometryandAlgebraicDifferentialEquations

2001年10月訪問香港城市大學

2001年10月在香港舉行第九屆國際中國科學史會上作了大會邀請報告,題為:OnSomeCharacteristicFeaturesofChineseMathematics

2001年10月在深圳高信技術論壇期間,于10月13至14日舉行第一屆院士論壇上和周光召同志擔任主講。主講的題目為:數學機械化及其在高科技中的作用。

2001年10月吳文俊在天津南開大學數學所舉行的“二十一世紀的中國數學”學術報告會上作報告,題目:21世紀的中國數學。

2001年英文著作>2001年榮獲第五屆國家圖書獎。

2002年6月在清華為祝賀楊振寧80壽辰而舉行的國際學術會議“FrontiersofScience”上作“SomeReflectionsontheMechanizationofMentalLaborintheComputerAge”

2002年8月國際數學家大會公開演講,“中國古算與實數系統”

2002年9月應香港鳳凰電視台邀請,在清華大學作"電腦時代的中國數學"的演講。

2003年1月10日在“數學機械化軟體研討會”上做報告:“電腦時代的腦力勞動機械化與數學機械化”的報告。

2003年11月17日在廣東工業大學做報告:“拓撲學到機器證明”.

2003年11月19日在中國智慧型學會2003全國學術大會、可拓學創立20年慶祝大會、中韓智慧型系統學術研討會上作“電腦時代腦力機械化與科學技術現代化”報告

2003年11月27日在The1stAsianSymposiumonProgrammingLanguageandSystems上作OnaMethodofGlobalOptimization報告。

2003年11月28日在中國科學人文論壇上做報告:“電腦時代的東方數學”。

2004年5月19-21日參加在上海市青浦區朱家角鎮舉辦的“第六屆國際數學機械化研討會”(IWMM6)。

2004年5月24日在上海復旦大學做報告:“電腦時代的東方數學”

2004年11月8-9日參加數學機械化重點實驗室在香山別墅舉行的實驗室戰略發展學術研討會,作會議總結。

2005年7月24日至27日參加在北京舉行的ISSAC’2005,做邀請報告:FiniteKernelTheoremandApplications

2005年7月參加科學史國際會,做報告:OntheDevelopmentofRealNumberSysteminAncientChina

2005年9月26日被聘為中國石油大學(東營)榮譽教授。當天參觀了石油大學校史陳列館與展覽館、重質油國家重點實驗室、高壓水射流研究中心和石大科技集團,並出席了“授予吳文俊院士榮譽教授儀式暨學術報告會”;次日接受了山東衛視的專訪。

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

2006年6月獲得第三屆邵逸夫獎數學獎。

社會活動

吳文俊吳文俊

社會兼職

1978年12月-1983年2月,第五屆全國政治協商會議常委

1979年10月-1984年2月,中科院系統所副所長

1983年3月-1988年2月,第六屆全國政治協商會議常委

1984年2月起中科院系統所名譽所長

1984年-1987年中國數學會理事長

1988年3月-1993年2月,第七屆全國政治協商會議常委

1990年8月-1999年5月,中科院系統所數學機械化研究中心主任

1992年4月-1996年4月,中國科學院數理學部主任

1993年3月-1998年2月,第八屆全國政治協商會議常委

1996年任天元基金領導小組組長(接替原組長程民德教授)

重大項目兼職

1948年開始參加CNRS研究工作初任Attachéderecherches,1951年升為ChangédeRecherches

國家科委攀登項目“機器證明及其套用”,任項目專家委員會首席科學家(1992年)

國家科委攀登項目“數學機械化及其套用”,任專家委員會首席科學家(1996年)

國家重點基礎研究規劃項目“數學機械化與自動推理平台”。專家委員會的首席科學家改由高小山擔任,吳文俊退為專家委員會的學術指導,屬顧問性質(1999年)

獎勵情況

1956年因示性類及示嵌類的工作榮獲國家第一屆自然科學獎最高獎一等獎(其他兩位一等獎得主為華羅庚和錢學森)

吳文俊吳文俊

1957年1月增選為中國科學院院士

1958年邀請在1958年國際數學家大會(愛丁堡)做分組報告(未能成行)

1978年全國科學大會得科學大會獎

1988年7月巴黎國際數學和電腦模擬大會,被邀請為專家小組的召集人,(未成行)。

1992年獲得第三世界科學院數學獎

1993年度陳嘉庚數理科學獎

1994年榮獲香港求是基金會“傑出科學家獎”

1997年獲自動推理的最高獎Herbrand獎

香港城市大學名譽博士學位

2000年國家最高科學技術獎

2006年邵逸夫數學獎

主要工作

吳文俊吳文俊

吳文俊教授的數學研究活動,可分為前後兩個時期,涉及到好幾個數學領域,在代數拓撲和機器證明兩個領域有重大貢獻,對數學研究影響深遠。前期自1947年至70年代,以代數拓撲為主,他的貢獻主要有兩個方面: 1.示性類研究

通過Grassmann流形對在30年代由瑞士Stiefel,美國Whitney,蘇聯Pontrjajin和陳省身通過不同途徑引入的示性類進行了系統的論述,確定了名稱,探討了相應關系,並套用于流形的構造。他引入的上同調類,後來在文獻中被稱之為吳示性類,他提出的蘊含拓撲不變性和同倫不變性的兩個公式,後來都被稱之為吳公式。由于這些結果的根本重要性,在多種問題中被廣泛套用,如50年代德國的Dold,60年代德國的Hirzebruch蘇聯的Novikov並因而獲Fields獎,美國的Bott與Milnor等等。

2.示嵌類研究

他引入具有非同倫拓撲不變數的一種一般構造方法,並系統地用之于嵌入問題,引入了復合形示嵌類,並用同樣方法研究浸入問題與同痕問題,引入類似的示浸類與示痕類。瑞士Haefiger由于在1958年聽到了他關于上述示嵌類研究工作的講學,于1961年將嵌入問題作了重要推廣,因而成為瑞士主要拓撲專家。美國Smale套用他的工作于維數大于4的Poincare猜測,並因而獲Fields獎。他後來套用關于示嵌類的成果于電路布線問題,給出線性圖平面性的新的判定準則,與以往的判定準則在性質上完全不同,尤其是可計算。

應當註意的是他在1956年前完成的研究成果的重要性,在多年以後才顯現出來,至今仍在國際上廣泛引用。

後期始于1976年,從事機器征明與數學機械化的研究。

他提出的用電腦證明幾何定理的方法,與常用的基于數理邏輯的方法根本不同,顯現了無比的優越性,改變了國際上自動推理研究的面貌,被稱為自動推論領域的先驅性工作,並因此獲得Herbrand自動推論傑出成就獎。以下是14屆國際自動推論大會上對吳文俊工作的介紹與評價。

“吳文俊在自動推理界以他于1977年發明的(定理證明)方法著稱。這一方法是幾何定理自動證明領域的突破。”“幾何定理自動證明首先由HerbertGerlenter于五十年代開始研究。雖然得到了一些有意義的結果,但在吳方法出現之前的二十年裏這一領域進展甚微。在不多的自動推理領域中,這種被動局面是由一個人完全扭轉的。吳文俊很明顯是這樣一個人。”“吳的工作將幾何定理證明自動推理的一個不太成功的領域變為最成功的領域之一。在很少的領域中,我們可以將機器證明歸于一個人的工作。幾何定理證明就是這樣的一個領域。”

他引入的求解非線性代數方程組的吳方法是求解代數方程組精確解最完整的方法之一,已經被成功地用于解決很多問題,並實現在當前流行的符號計算軟體中。歐共體資助的POSSO計畫(POlynomialSystemSOlving)中也有吳方法的專用軟體包。吳方法還被用于若幹高科技領域,得到一系列國際領先的成果。包括曲面造型,機器人機構的位置分析,智慧型CAD系統(電腦輔助設計),機器人,圖像壓縮等。

八十年代末,他提出了偏微分代數方程組的整序方法,是目前處理偏微分代數方程組的完整的構造性方法。該方法已被套用于微分幾何定理機器證明和偏微分方程組求解。

擴展了代數簇的通常局限無奇點情形的陳示性數于有任意奇點的陳類與陳數,且定義是可計算的,形成代數幾何機械化的新篇章。他給出了多元多項式組的零點結構定理,這是構造性代數幾何發展的重要標志。

編著書籍

吳文俊吳文俊

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.

吳文俊,《數學機械化》, 科學出版社,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.

On calculability of I*-measure with respect to complex-union and other related constructions, Kexue Tongbao, 25(1980) 196-198 (in Chinese); Kexue Tongbao 25(1980), 185-188.

de Rham-Sulliven measure of spaces and its calculability, in Proc. Chern Symposium, (1980), 229-245.

A constructive theory of algebraic topology - Part I. Notions of measure and calculability, J. Systems Science and Math. Science. 1(1981), 53-68.

Investigations on the Original Proofs about "Sea-Island Arithmetic", (in Chinese), in ``Nine Chapters in Arithmetic" and Liu Hui, Ed. Wu Wen-tsün, Beijing Normal University Press, Beijing, (1981) 58-75.

Mechanical theorem proving in elementary geometry and differential geometry, in Proc.1980 Beijing DD-Symposium, Beijing, v.2, 1073-1092 (1982).

On the double-difference theory in measurement-studies of ancient China with criticisms about methodology in study of history of mathematics, (in Chinese), in Monographs on History of Science and Technology, No. 8, Shanghai Science Press, Shanghai, (1982) 10-30.

Toward mechanization of geometry --- Some comments on Hilbert's "Grundlagen der Geometrie", Acta Math.Scientia, 2 (1982) 125-138. Chinese version 126-136.

Some remarks on mechanical theorem-proving in elementary geometry, Acta Math. Scientia 3 (1983) 357-360.

The out-in complementary principle, in Ancient China's Technology and Science, Foreign Languages Press, Beijing(1983), 66-89.

de Rham theorem from constructive point of view, in Proc. 1981 Shanghai Symposium on Differential Geometry and Differential Equations, Science Press, Beijing, (1984) 497-528.

Chern classes on algebraic varieties with arbitrary singularities, in Several Complex Variables, Birkhausser Boston, Mass., (1984) 247-249.

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.

A mechanization method of geometry and its applications III. Mechanical proving of polynomial inequalities and equations-solving, MM-Res. Preprints, No.2, (1987) 1-17, also in Sys.Sci.& Math.Scis., 1 (1988) 1-17.

A mechanization method of geometry and its applications IV. Some theorems in planar kinematics, Sys.Sci. & Math.Scis., 2 (1989) 97-109.

On the foundation of algebraic differential geometry, MM-Res. Preprints, No.3 (1989) 1-26, also in Sys.Sci.& Math.Scis., 2 (1989) 289-312.

Some remarks on characteristic-set formation, MM-Res.Preprints, No.3 (1989) 27-29.

A review and prospect of mechanical theorem proving, (in Chinese), in New Developments of Today Mathematics -- A Collection of Articles on Liu-hui Seminar of Mathematics, (Ed. Wu Wen-tsün), Anhui Science and Technology Press, Hefei, (1989) 181-188.

On the generic zero and Chow basis of an irreducible ascending set, MM-Res. Preprints, No.4 (1989) 1-21.

A mechanization method of geometries and its applications V(with Wu Tianjiao). Solving transcendental equations by algebraic methods, MM-Res.Preprints, No.3 (1989) 30-32.

A mechanization method of geometry and its applications VI. Solving inverse kinematic equations of PUMA-type robots, MM-Res. Preprints, N0.4 (1989) 49-54.

On a projection theorem of quasi-varieties in elimination theory, MM-Res. Preprints, No.4 (1989) 40-48. Also in Chinese Annals of Math., 11B (1990) 220-226.

On the chemical equilibrium problem and equations-solving, MM-Res.Preprints, No.4 (1989) 1-21. Also in Acta Math.Scientia, 10 (1990) 361-374.

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世紀100個交叉科學難題》)。

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

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

電腦時代的東方數學 (《世紀機遇》, 中國科學家人文論壇演講錄,路甬祥, 鄭必堅編, 2004, p.181-194)。

電腦時代的腦力勞動機械化與科學技術現代化, (《人工智慧及其套用》第三版, 2004, p.5-10)。

創新科研秉燭育人, 民族復興建立功勛(《科學新聞》2004-18,p.4)。

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

推動數學界人才成長, (《隨中國科技騰飛》, 2004, p.36)

《數學的魅力》序(《數學的魅力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世紀100個交叉科學難題, 656-657, 2005

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

總理看望

2010年8月7日上午,中共中央政治局常委、國務院總理溫家寶登門看望了為我國科技發展和現代化建設事業作出重要貢獻的吳文俊先生,向他獻上寓意吉祥和祝福的鮮花,致以深情的問候和良好的祝願。

溫家寶總理多次強調,要尊重知識,尊重人才,要和科學家交朋友。每年登門看望德高望重、貢獻卓越的老一代科學家,已經成為他就任總理以來的慣例。

相關詞條

相關搜尋

其它詞條