• 正在加载中...
  • 吴文俊”是个多义词,全部含义如下:

    纠错 | 编辑多义词

    吴文俊[著名数学家、中国科学院院士]

    吴文俊(1919年5月12日-2017年5月7日),1919年5月12日出生于上海,祖籍浙江嘉兴,数学家,中国科学院院士,中国科学院数学与系统科学研究院研究员,系统科学研究所名誉所长。 吴文俊毕业于交通大学数学系,1949年,获法国斯特拉斯堡大学博士学位;1957年,当选为中国科学院学部委员(院士);1991年,当选第三世界科学院院士;陈嘉庚科学奖获得者 ,2001年2月,获2000年度国家最高科学技术奖。 吴文俊的研究工作涉及数学的诸多领域,其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作;他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用。 2017年5月7日7时21分,吴文俊在北京不幸去世,享年98岁。

    编辑摘要

    基本信息 编辑信息模块

    中文名: 吴文俊 出生日期: 1919年5月12日
    性别: 英文名: Wentsun Wu
    出生地: 上海 民族: 汉族
    国籍: 中国 去世日期: 2017年5月7日
    职业: 数学家 毕业院校: 交通大学、斯特拉斯堡大学
    代表作品: 《几何定理的机械化证明》、《数学机械化》 主要成就: 国家最高科学技术奖(2000年) Herbrand自动推理杰出成就奖(1997年) 求是杰出科学家奖(1994年) 第三世界科学院数学奖(1992年) 国家自然科学奖一等奖(1956年)

    目录

    人物生平/吴文俊[著名数学家、中国科学院院士] 编辑

    1919年(中华民国八年)5月12日,吴文俊出生于上海,祖籍浙江嘉兴,因战乱迁至地势高、远离战乱的青浦县朱家角。吴文俊自幼受父亲民主思想熏陶。他是长子,下有两妹一弟。他4岁时被送到弄堂里的文蔚小学读书,课程简单,因此有许多空余时间。

    吴文俊 吴文俊

    1932年(中华民国二十一年),上海“一·二八”事变爆发后,吴文俊被送回浙江嘉兴老家,躲避战 乱。半年之后,他返回上海继续读书。

    1933年(中华民国二十二年)秋,吴文俊就读于正始中学,这才是他正规读书生涯的开始。吴文俊高中毕业时,其实兴趣在物理而不在数学。一次物理考试题很难,他却成绩出色。毕业时校方讨论保送,物理老师却以他独特的目光推荐他学数学。他认定自己物理考得好的原因在于数学,而攻读数学才能使他的才能得到更好更多的发挥。

    1936年(中华民国二十五年),吴文俊被保送至交通大学数学系。大三学实变函数论,他以自学为主,读经典著作。有了实变函数论的基础,很快进入康托尔集合论,钻研点集拓扑。

    1940-1945年,先后在育英中学、培真中学、南洋模范女中、之江大学教书;期间曾失业半年。

    1946年(中华民国三十五年)年初,到上海临时大学任郑太朴教授的助手;同年8月,陈省身吸收吴文俊到数学所任助理研究员。

    1947年(中华民国三十六年),完成一项重要拓扑学研究,证明Whitney乘积公式和对偶定理,1948年在Annalsof Math上发表;同年10月,由于成绩斐然,他经推荐去欧洲,到巴黎留学,在Strassbourg大学跟随C.Ehresmann学习。

    1949年,吴文俊去苏黎世访问,获得法国国家博士学位;同年秋天,应H·嘉当邀请入巴黎法国国家科学研究中心工作。

    1948年,开始参加CNRS研究工作初任Attaché de recherches,1951年升为Changé de Recherches。

    1949年,完成“论球丛空间结构的示性类”的博士论文,论文于1952年单行本发表。

    1950年,与Thom合作发表关于流形上Stiefel-Whitney示性类的论文,后通称为吴类与吴公式。

    江泽民为吴文俊颁发国家最高科学技术奖励 江泽民为吴文俊颁发国家最高科学技术奖励

    1951年8月,回到中国,在北京大学数学系任教授。

    1952年10月,到新建数学研究所任研究员。

    1954年,开始非同伦性拓扑不变量的研究,由此引入示嵌类并开展复合形嵌入、浸入与同胚的研究。

    1956年,赴苏联参加全苏第三届数学家大会做Pontrjagin示性类报告,受到好评。

    1956年,随同陈建功、程民德教授访问,始同国外学术界恢复联系;同年,随同苏步青教授访问保加利亚。

    1958年,到刚刚成立的中国科学技术大学授课。

    1958年期间曾赴巴黎大学讲课系统介绍示嵌类的工作,对于Haefliger等人有很大影响。

    1960年-1965年,负责中国科学技术大学数学系第三届学生负责人。

    1967年,完成“示嵌类理论在布线问题上的应用”。

    1972年,美国拓扑学家Browder,Peterson,Spencer等访华,获得他们与其他国外学者如Smale等赠送的资料,使拓扑研究重新开始。

    1973年,数学所拓扑组开始关于有理同伦论的讨论班,吴文俊开始其I*函子理论的研究。

    1974年,开始对中国数学史感兴趣,进行一系列中国数学史的研究,并以顾[古]今用的笔名,写成“中国古代数学对世界文化的伟大贡献”一文,明确推出“近代数学之所以能够发展到今天,主要是靠中国[式]的数学,而非希腊[式]的数学,决定数学历史发展进程的主要是靠中国[式]的数学,而非希腊[式]的数学”,该文发表于数学学报1975年第18期。

    胡锦涛看望吴文俊院士 胡锦涛看望吴文俊院士

    1976年末,开始定理机械化证明的研究,于次年春节期间取得成功。

    1977年,首次发表定理的机械化证明的论文,由此开辟全新的方向。

    1978年,撰写“数学概况及其发展”一文,发表于科学出版社的《现代科学技术简介》一书,文中提出了脑力劳动机械化,但于刊印时被删去。

    1979年,加入中国共产党;同年10月,关肇直创建系统科学研究所,吴文俊离数学所去系统所,任副所长。

    1980年,中国国内开始举办双微会议,在首次会议上做报告“初等几何和微分几何的定理机械化证明”。

    1981年秋,去美国加州大学Berkeley分校讲学。

    1982年,回到中国科学技术大学主持首批博士生毕业答辩。(参加答辩的18位是中国自己培养的第一批博士)

    1984年秋,在中国科学技术大学研究生院开设数学机械化机器证明理论的课程。  

    1990年8月,成立中国科学院系统科学研究所数学机械化研究中心,并任中心主任;同年,获第三世界科学院数学奖。

    1992年,任国家科委攀登项目“机器证明及其应用”专家委员会首席科学家;同年8月,去奥地利参加AAGR,对RISC研究所进行学术访问。

    1993年3月,随科学家代表团访问台湾。

    吴文俊院士 吴文俊院士

    1995年5月,接受香港城市大学名誉博士学位;同年12月,去新加坡参加第一届亚洲数学科技会议,作大会报告“几何问题求解及其现实意义”。

    1996年,任国家科委攀登项目“数学机械化及其应用”专家委员会首席科学家。

    1997年4月,西安交通大学101周年校庆纪念暨面向21世纪发展战略研讨会隆重召开,吴文俊学长专程来到母校参加研讨会,并受聘为母校名誉教授。  

    1998年,将1997年以来关于数学机械化的工作总结成书,书名为Mathematics Mechanization:Geometry Theorem Proving,Geometry Problem-Solving and Polynomial Equation-Solving将由科学出版社出版。

    1999年10月21日,被聘为华中理工大学名誉教授;同年11月6日,参加在广州举行的纪念关肇直先生八十诞辰的学术研讨会。

    1999年12月15日-20日,去德国访问,参加国际数学家大会。

    2001年2月19日,获首届国家最高科学技术奖,时任国家主席江泽民亲自为吴文俊颁奖。

    2002年6月,在清华为祝贺杨振宁80寿辰而举行的国际学术会议“Frontiers of Science”上作“Some Reflections on the Mechanization of Mental Laborin the Computer Age”。

    2003年11月19日,在中国智能学会2003全国学术大会、可拓学创立20年庆祝大会、中韩智能系统学术研讨会上作“计算机时代脑力机械化与科学技术现代化”报告。

    2005年9月26日,被聘为中国石油大学(华东)荣誉教授。

    2006年4月25日至28日,到安徽省马鞍山市和芜湖市进行了考察,参观了安徽工业大学、马钢第一钢轧总厂、安徽华东光电研究所、奇瑞公司等单位,并受聘为安徽工业大学荣誉教授。  

    2009年,西安交通大学授予吴文俊等5位校友“西安交通大学最受崇敬校友”荣誉称号。

    2017年5月7日7时21分,吴文俊因病医治无效,在北京不幸去世,享年98岁。  

    主要成就/吴文俊[著名数学家、中国科学院院士] 编辑

    科学成就

    • 在拓扑学方面的贡献

    拓扑学是现代数学的支柱之一,也是许多数学分支的基础。吴文俊从1946年开始研究拓扑学, 1974年后转向中国数学史研究,30年中在拓扑学领域取得了一系列重大成果,其中最著名的是“吴示性类”与“吴示嵌类”的引入以及“吴公式”的建立。

    吴文俊 吴文俊

    示性类是刻画流形与纤维丛的基本不变量, 1940年后开始起步研究瑞士的Stiefel,美国的Whitney,前苏联的Pontrjagin和陈省身等著名数学家先后从不同角度引入示性类的概念,但大都是描述性的。吴文俊将示性类概念从繁化简,从难变易,形成了系统的理论。他分析了Stiefel示性类,Whitney示性类Pontrjagin示性类和陈示性类之间的关系,指出陈示性类可以导出其他示性类,反之则不成立。他在示性类研究中还引入了新的方法和手段.在微分情形,吴文俊引出了一类示性类,被称为吴示性类。它不但是抽述性的抽象概念,而且是可具体计算的。吴文俊给出了Stiefel示性类和Whitney示性类可由吴示性类明确表示的公式,被称为是吴(第一)公式,他证明了示性类之间的关系式,被称为吴(第二)公式。这些公式给出各种示性类之间的关系与计算方法,从而导致一系列重要应用,使示性类理论成为拓扑学中完美的一章。

    拓扑的嵌入理论是研究复杂几何体在欧氏空间的实现问题。在吴文俊之前,嵌入理论只有零散的结果,吴文俊提出了吴示嵌类等一系列拓扑不变量,研究了嵌入理论的核心,并由此发展了嵌入的统一理论。后来他将关于示嵌类的成果用于电路布线问题,给出线性图平面嵌入的新判定准则,与以往的判定准则在性质上是完全不同的,是可计算的。

    在拓扑学研究中,吴文俊起到了承前启后的作用,极大地推进了拓扑学的发展,引发了大量的后续研究,他的工作也已经成为拓扑学的经典结果,半个世纪以来一直发挥着重要作用,在许多数学领域中应用,成为教科书中的定理。  

    • 在数学机械化方面的贡献

    中国传统数学强调构造性和算法化,注意解决科学实验和生产实践中提出的各类问题,往往把所得到的结论以各种原理的形式予以表述。吴文俊把中国传统数学的思想概括为机械化思想,指出它是贯穿于中国古代数学的精髓。吴列举大量事实说明,中国传统数学的机械化思想为近代数学的建立和发展做出了不可磨灭的贡献。1986年吴文俊第二次被邀请到国际数学家大会介绍这一发现。

    20世纪70年代,吴文俊曾在计算机工厂劳动,切身体会到计算机的巨大威力,敏锐地觉察到计算机的极大发展潜力。他认为,计算机作为新的工具必将大范围地介入到数学研究中来,使数学家的聪明才智得到尽情发挥。由此得出结论,中国传统数学的机械化思想与现代计算机科学是相通的。计算机的飞速发展必将使中国传统数学的机械化思想得以发扬光大,机械化数学的发展必将为中国数学的发展做出巨大贡献。已故程民德院士认为:吴文俊倡导数学机械化,是从数学科学发展的战略高度提出的一种构想。数学机械化的实现,将对中国数学的振兴乃至复兴做出巨大贡献。吴文俊身体力行,在数学机械化的征途上奋勇攀登。在机器证明方面,他提出的用计算机证明几何定理的方法(国际上称为吴方法),遵循中国传统数学中几何代数化的思想,与通常基于逻辑的方法根本不同,首次实现了高效的几何定理自动证明,显现了无比的优越性。他的工作被称为自动推理领域的先驱性工作,并于1997年获得“Herbrand自动推理杰出成就奖”。在授奖辞中对他的工作给了这样的介绍与评价:“几何定理自动证明首先由赫伯特格兰特(HerbertGerlenter)于50年代开始研究。虽然得到一些有意义的结果,但在吴方法出现之前的20年里,这一领域进展甚微。”吴文俊的工作“不仅限于几何,他还给出了由开普勒定律推导牛顿定律,化学平衡问题与机器人问题的自动证明。他将几何定理证明从一个不太成功的领域变为最成功的领域之一。”在非线性方程组求解的方向上,他建立的吴消元法是求解代数方程组最完整的方法之一,是数学机械化研究的核心。80年代末,他将这一方法推广到偏微分代数方程组。他还给出了多元多项式组的零点结构定理,这是构造性代数几何的重要标志。

    吴文俊特别重视数学机械化方法的应用,明确提出“数学机械化方法的成功应用,是数学机械化研究的生命线。”他不断开拓新的应用领域,如控制论、曲面拼接问题、机构设计、化学平衡问题、平面天体运行的中心构形等,还建立了解决全局优化问题的新方法。他的开拓性成果,导致了大量的后续性工作。吴消元法还被用于若干高科技领域,得到一系列国际领先的成果,包括曲面造型、机器人结构的位置分析、智能计算机辅助设计(CAD)、信息传输中的图像压缩等。数学机械化研究是由中国数学家开创的研究领域,并引起国外数学家的高度重视。吴方法传到国外后,一些著名学府和研究结构,如Ox-ford,INRIA,Cornell等,纷纷举办研讨会介绍和学习吴方法。国际自动推理杂志JAR与美国数学会的“现代数学”,破例全文转载吴文俊的两篇论文。美国人工智能协会前主席W.Bledsoe等人主动写信给中国主管科技的领导人,称赞“吴关于平面几何定理自动证明的工作是一流的。他独自使中国在该领域进入国际领先地位”。  

    • 在中国数学史方面的贡献

    吴文俊 吴文俊

    1974年以后,吴文俊开始研究中国数学史。作为一位有战略眼光的数学家,他一直在思索数学应该怎样发展,并终于在对中国数学史的研究中得到启发。中国古代数学曾高度发展,直到14世纪,在许多领域都处于国际领先地位,是名符其实的数学强国。但西方学者不了解也不承认中国古代数学的光辉成就,将其排斥在数学主流之外。吴文俊的研究起到了正本清源的作用。他指出,中国传统数学注意解方程,在代数学、几何学、极限概念等方面既有丰硕的成果,又有系统的理论。

    刘徽于公元263年作《九章算术注》,把原见于《周髀算经》中测日高的方法扩张为一般的测望之学——重差术,附于勾股章之后。唐代把重差术这部分与九章分离,改称为《海岛算经》,原作有注有图,但已失传.现存《海岛算经》只剩9题,其中包括刘徽给出的两个关于海岛的基本公式,但没有证明。后人多次给出公式证明并力求复原刘徽原意。吴文俊研究后来的各种补证后,认为这些论证并不符合中国古代几何学的原意,尤其是西算传入后,用西方数学中添加平行线或代数方法甚至三角函数来证明是完全错误的。针对这些证明,他明确提出数学史研究的两条基本原理:

    所有结论应该从侥幸留传至今的原始文献中得出来。

    所有结论应按照古人当时的思路去推理,也就是只能用当时已知的知识和利用当时用到的辅助工具,而应该避开古代文献中完全没有的东西。

    1.

    所有结论应该从侥幸留传至今的原始文献中得出来。

    2.

    所有结论应按照古人当时的思路去推理,也就是只能用当时已知的知识和利用当时用到的辅助工具,而应该避开古代文献中完全没有的东西。

    根据这两条忠于历史事实的原则,吴文俊对于《海岛算经》中的公式证明作了合理的复原,他认为重差理论来源于《周髀算经》,其证明基于相似勾股形的命题或与之等价的出入相补原理。他指出中国有自己独立的度量几何学理论,完全借助于西方欧几里得体系是很难解释通的。吴文俊在研究包括《海岛算经》在内的刘徽著作的基础上,把刘徽常用的方法概括为“出入相补原理”,这个原理的表述十分简单:一个图形不论是平面还是立体的,都可以切割成有限多块,这有限多块经过移动再组合成另一图形,则后一图形的面积或体积保持不变。这个常识性的原理在中国古算中经过巧妙运用得出许多意想不到的结果。出入相补原理的提出是吴文俊在中国数学史研究中的一项重要成果。  

    论文专著

    • 论文

    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世纪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

    • 专著

    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.

    1.

    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)

    2.

    Some applications of mechanics in geometry,(in Chinese),Chinese Youth Press,1962.

    3.

    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).

    4.

    ``Nine Chapters in Arithmetic'' and Liu Hui,(in Chinese,ed.),Beijing Normal University Press,Beijing,1981.

    5.

    Proceedings of the 1980 Beijing symposium on differential geometry and differential equations(co-editor with S. S. Chern),Science Press,Beijing,1982.

    6.

    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).

    7.

    On triangles with two equal bisectors,(in Chinese,ed. with X.L. Lü),People's Education Press,Beijing (1985).

    8.

    Sellected works of Wu Wen-tsün,(in Chinese,ed.),Shandong science and Technology Press,Jinan,1987.

    9.

    Rational homotopy type --- A constructive study via the theory of the I*-measure,Lect. Notes in Math.,No. 1264,Springer Verlag,Berlin (1987).

    10.

    Historical studies on ``Mathematical Treatise in Nine-Chapters (Shu-Shu-Jiu-Zhang)'' (in Chinese,ed.),Beijing Normal University Press,Beijing,1987.

    11.

    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.

    12.

    Chinese Mathematics onto the 21st Century,(Ed. with Cheng Min-de),Peking University Press,Beijing,1991.

    13.

    Computer Mathematics,(Proc. Special Program at Nankai Inst. of Math. in Tianjin 1991,Ed. with Hu Guoding),World Scientific,Singapore,1993.

    14.

    Proc. 1992 International Workshop on Mathematics Mechanization in Beijing,(Ed. with Cheng Min-de),Intern. Acad. Publishers,Beijing,1992.

    15.

    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.

    16.

    Wu Wentsün on Mathematics Mechanization,(in Chinese),Shangdong Education Press,Shangdong,1996.

    17.

    吴文俊,《数学机械化》,科学出版社,2003.

    人才培养

    据2015年12月中国科学技术信息研究所、国家工程技术数字研究馆信息显示,吴文俊院士在1993到2004年共培养了4名博士研究生。  

    社会兼职/吴文俊[著名数学家、中国科学院院士] 编辑

    学术机构任职

    吴文俊院士 吴文俊院士

    1979年10月-1984年2月,中国科学院系统所副所长

    1984年2月起,中国科学院系统所名誉所长

    1984年-1987年,中国数学会理事长

    1990年8月-1999年5月,中国科学院系统所数学机械化研究中心主任

    1992年4月-1996年4月,中国科学院数理学部主任

    1996年,任天元基金领导小组组长(接替原组长程民德教授)  

    党政机构任职

    吴文俊 吴文俊

    1978年12月-1983年2月,第五届全国政治协商会议常委

    1983年3月-1988年2月,第六届全国政治协商会议常委

    1988年3月-1993年2月,第七届全国政治协商会议常委

    1993年3月-1998年2月,第八届全国政治协商会议常委  

    获奖情况/吴文俊[著名数学家、中国科学院院士] 编辑

    人物影响/吴文俊[著名数学家、中国科学院院士] 编辑

    2010年5月4日,国际小行星中心先后发布公报通知国际社会,将国际永久编号第7683号小行星永久命名为“吴文俊星”。  

    2011年,中国科学技术大学以中国科学技术大学数学所为基础组建了中国科学院吴文俊数学重点实验室。  

    人物评价/吴文俊[著名数学家、中国科学院院士] 编辑

    吴文俊 吴文俊

    长期以来,吴老站在数学科学的前沿,潜心研究,勇于探索,取得了一系列原创性成就,特别是在拓扑学、数学机械化领域作出了杰出贡献,为国家、为民族争了光。 (原中共中央总书记、国家主席胡锦涛评)  

    辛勤的努力和杰出的贡献,获得了国际学术界的广泛认可,为我国科技界争得了荣誉,也为青年学者树立了榜样。 (中国科学院原院 路甬祥 评)  

    天资聪慧,有数学天赋。是一位杰出的数学家,他的工作表现出丰富的想象力及独创性。他从事数学教研工作,数十年如一日,贡献卓著…… (数学家、中国科学院外籍院士陈省身评)  

    添加视频 | 添加图册相关影像

    开放分类 我来补充

    互动百科的词条(含所附图片)系由网友上传,如果涉嫌侵权,请与客服联系,我们将按照法律之相关规定及时进行处理。未经许可,禁止商业网站等复制、抓取本站内容;合理使用者,请注明来源于www.baike.com。

    登录后使用互动百科的服务,将会得到个性化的提示和帮助,还有机会和专业认证智愿者沟通。

    互动百科用户登录注册
    此词条还可添加  信息模块

    百科秀

    上传TA的照片,让词条焕然一新

    上传大图背景

    WIKI热度

    1. 编辑次数:5次 历史版本
    2. 参与编辑人数:4
    3. 最近更新时间:2019-02-12 07:40:27

    人物关系

    编辑

    吴文俊[著名数学家、中国科学院院士]

    互动百科

    扫码下载APP