• 正在加载中...
  • 吴文俊

    吴文俊,男,1919年5月12日生于上海,1940年毕业于上海交通大学,1949年获法国国家博士学位。中国科学院院士,中国科学院数学与系统科学研究院研究员,系统科学研究所名誉所长。他在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果,是拓扑学中的奠基性工作并有许多重要应用。他的“吴方法”在国际机器证明领域产生巨大的影响,有广泛重要的应用价值。当前国际流行的主要符号计算软件都实现了吴文俊教授的算法。曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科技奖(2000)、第三届邵逸夫数学奖(2006)。2017年5月7日7时21分在北京不幸去世,享年98岁。

    编辑摘要
    词云

    基本信息 编辑信息模块

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

    目录

    个人简介/吴文俊 编辑

    吴文俊吴文俊

    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年邵逸夫数学奖

    2009年上海交通大学首届“杰出校友终身成就奖”

    主要工作/吴文俊 编辑

    吴文俊教授的数学研究活动,可分为前后两个时期,涉及到好几个数学领域,在代数拓扑和机器证明两个领域有重大贡献,对数学研究影响深远。前期自1947年至70年代,以代数拓扑为主,他的贡献主要有两个方面:

    示性类研究

    通过Grassmann流形对在30年代由瑞士Stiefel,美国Whitney,苏联Pontrjajin和陈省身通过不同途径引入的示性类进行了系统的论述,确定了名称,探讨了相应关系,并应用于流形的构造。他引入的上同调类,后来在文献中被称之为吴示性类,他提出的蕴含拓扑不变性和同伦不变性的两个公式,后来都被称之为吴公式。由于这些结果的根本重要性,在多种问题中被广泛应用,如50年代德国的Dold,60年代德国的Hirzebruch苏联的Novikov并因而获Fields奖,美国的Bott与Milnor等等。

    示嵌类研究

    吴文俊吴文俊

    他引入具有非同伦拓扑不变量的一种一般构造方法,并系统地用之于嵌入问题,引入了复合形示嵌类,并用同样方法研究浸入问题与同痕问题,引入类似的示浸类与示痕类。瑞士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 ``Mathematicaltreatisein 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 su

    吴文俊吴文俊

    mmary).

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

    homologyclasses 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 anirreducibleascending set, MM-Res. Preprints, No.4 (1989) 1-21.

    A mechanization method of geometries and its applications V(with Wu Tianjiao). Solvingtranscendentalequations 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 inCAGD, 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 onfactorizationand 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. Ofatcm'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

    平时生活/吴文俊 编辑

    中国数学家吴文俊教授在他60寿辰的那天,仍如往常,黎明即起,整天沉浸在运算和公式中,有人特地选定在这一天的晚间登门拜访,寒暄之后,说明来意:“听您夫人说,今天是您60大寿,特来表示祝贺。”吴文俊仿佛听了一个新闻,恍然大悟地说:“哦,是吗?我倒忘了。”来人暗暗吃惊,心想:“数学家的脑子里装满了数字,怎么连自己的生日也记不得了?其实,吴文俊对日期的记忆力是很强的,他在将近花甲之年的时候,又攻破了一个难题——“机器证明。”这改变了数学家“一支笔、一张纸、一个脑袋”的劳动方式,运用电子计算机来实现数学证明。他在进行这项课题的研究过程中,对于电子计算机安装的日期、为计算机最后编成300多道“指令”程序的日期,都记得一清二楚。

    人物影响/吴文俊 编辑

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

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

    人物评价/吴文俊 编辑

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

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

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

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

    参考资料
    [1]^引用日期:2017-05-07
    扩展阅读
    1http://www.mmrc.iss.ac.cn/~wtwu/

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

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

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

    百科秀

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

    上传大图背景

    WIKI热度

    1. 编辑次数:48次 历史版本
    2. 参与编辑人数:29
    3. 最近更新时间:2017-05-07 11:27:01

    人物关系

    编辑

    吴文俊

    互动百科

    扫码下载APP