Study Of Math Study Of Math
Studyofmath Window Non Study Of Math 吴文俊_百度百科
Studyofmath Window Non Study Of Math
合作撰写通俗著作《分角线相等的三角形》，由人民教育出版社出版。
1986年6月访问美国通用电气公司Xerox，Parc，HP实验室，7月访问美国纽约库朗研究所。访问Texas大学Austin分校计算机科学系。
1986年8月应邀在第20届国际数学家大会上作“Recent Studies of the History of Chinese Mathematics”报告，访问Argonne国家实验室。
1986年通俗文选“吴文俊文集”由山东教育出版社出版。
1987年关于I*-函子的研究总结成Rational homotopy type,Aconstructive Studyvia the theory of theI*-measure一书，由Springer出版社出版
1987年5月访问东德，参加莱比锡Eurocal’87会议。
1987年7月访问意大利Catania大学，参加数学自动推理国际会议
1987年10月访问加拿大，参加国际符号与代数计算会议。
1988年7月参加美国Ithaca,Algorithmic Aspect of Geometryand Algebra国际会议，作系统报告。
1988年7月巴黎国际数学和计算机模拟大会，被邀请为一专家小组的召集人，曾组织数人参加，吴文俊未成行。
1988年9月－10月参加巴黎Thom纪念会。并作报告：A Constructive Theory of Algebraic Differential Geometry and its Application。邀请为一专家小组的召集人，曾组织数人参加，吴文俊未成行。到法国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月在南开数学所学术年由吴文俊与胡国定共同主持计算机数学的系列报告，报告由新加坡World Scientific于1993年出版，书名为Computer Mathematics
1991年4月去Grenoble参加CDE会议。到巴黎对IHES、巴黎第VII大学、综合工科学校进行学术访问。
1992年赴科威特接受1990年第三世界科学院数学奖的颁奖
1992年7月与程民德教授共同主持在北京举行的数学机械化国际会议，会议录由International Academic Publishers出版。
1992年8月去奥地利参加AAGR，对RISC研究所进行学术访问
1993年3月随科学家代表团访问台湾。
1993年10月去南韩庆北大学几何拓扑研究所访问
1994年7月与石赫去威海研究生数学暑期学校主持数学机械化暑期讲习班。
1994年8月参加北京举行的ISSAC国际会议。
1994年9月去香港。王东明将《几何定理机器证明的基本原理(初等几何部分)》译成英文，由Springer出版，英文书名为Mechanical Theorem Proving in Geometries
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年以来关于数学机械化的工作总结成书，书名为Mathematics Mechanization:Geometry Theorem Proving,Geometry Problem-Solving and Polynomial Equation-Solving将由科学出版社出版。
1999年10月10－17日参加在成都举办的>
1999年10月21日访问武汉华中理工大学，被授予名誉教授并作了通俗报告>
1999年11月6日参加在广州举行的纪念关肇直先生八十诞辰的学术研讨会。
1999年12月15日－20日去德国访问，参加国际数学家大会。
2000年1月10－14日参加在澳门举行的“数学及其在文明中的作用”国际会议上做题为“A Tentative Comparatives Study of Mathematics in Ancient China and Ancient Greece”的邀请报告。
2000年1月14日－18日参加在香港举行的“数学普及讲座及交流系列研讨会II”，做题为“中国传统数学的特色及其现代意义”的报告。
2000年7月18日至7月28日参加“计算微分代数暑期高级研讨班”并做报告。
2000年9月27－28日参加在瑞士苏伊士ETH举行的第三届“国际几何推理会议”(ADG‘2000)，主讲opensession。
2000年9月28日－10月6日参加在法国巴黎举行的学术交流会，做题为：Global Optimiztion and its Applications的报告。
11月9日－15日参加在伊朗举办的“International Congresson Ghyathal-din Jamshid Kashani-ICGK2000”国际会议，做题为：“Polynomial Equations－Solving in Ancient China and its Role in Modern Times”的邀请报告。
2000年12月18－21日参加在泰国清迈举行的第四届“亚洲计算机数学研讨会”（ASCM’2000）并在会上做报告。
2001年2月19日荣获首届国家最高科学技术奖。授奖大会在人民大会堂隆重举行。江泽民总书记亲自向吴文俊院士与另一位获奖者袁隆平颁奖。
2001年2月访问德国Maxplanck数学研究所
2001年3月在合肥中国科大举办的“有效代数方法高级研讨班”上做报告。
2001年9月中国科协在长春举行2001年学术年会，吴作了大会报告，题为：脑力劳动机械化与科学技术现代化
2001年9月在上海现代数学国际会议上作了大会邀请报告，题为：OnAlgebraicDifferentialGeometryandAlgebraicDifferentialEquations
2001年10月访问香港城市大学
2001年10月在香港举行第九届国际中国科学史会上作了大会邀请报告，题为：On Some Characteristic Features of Chinese Mathematics
2001年10月在深圳高信技术论坛期间，于10月13至14日举行第一届院士论坛上和周光召同志担任主讲。主讲的题目为：数学机械化及其在高科技中的作用。
2001年10月吴文俊在天津南开大学数学所举行的“二十一世纪的中国数学”学术报告会上作报告，题目：21世纪的中国数学。
2001年英文著作>2001年荣获第五届国家图书奖。
2002年6月在清华为祝贺杨振宁80寿辰而举行的国际学术会议“Frontiers of Science”上作“Some Reflections on the Mechanization of Mental Laborin the Computer Age”
2002年8月国际数学家大会公开演讲，“中国古算与实数系统”
2002年9月应香港凤凰电视台邀请，在清华大学作"计算机时代的中国数学"的演讲。
2003年1月10日在“数学机械化软件研讨会”上做报告：“计算机时代的脑力劳动机械化与数学机械化”的报告。
2003年11月17日在广东工业大学做报告：“拓扑学到机器证明”.
2003年11月19日在中国智能学会2003全国学术大会、可拓学创立20年庆祝大会、中韩智能系统学术研讨会上作“计算机时代脑力机械化与科学技术现代化”报告
2003年11月27日在The 1st Asian Symposiumon Programming Language and Systems上作Ona Method of Global Optimization报告。
2003年11月28日在中国科学人文论坛上做报告：“计算机时代的东方数学”。
2004年5月19－21日参加在上海市青浦区朱家角镇举办的“第六届国际数学机械化研讨会”(IWMM6)。
2004年5月24日在上海复旦大学做报告：“计算机时代的东方数学”
2004年11月8-9日参加数学机械化重点实验室在香山别墅举行的实验室战略发展学术研讨会，作会议总结。
2005年7月24日至27日参加在北京举行的ISSAC’2005，做邀请报告：Finite Kernel Theorem and Applications
2005年7月参加科学史国际会，做报告：On the Development of Real Number System in Ancient China
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é de recherches,1951年升为Changé de Recherches
国家科委攀登项目“机器证明及其应用”，任项目专家委员会首席科学家（1992年）
国家科委攀登项目“数学机械化及其应用”，任专家委员会首席科学家（1996年）
国家重点基础研究规划项目“数学机械化与自动推理平台”。专家委员会的首席科学家改由高小山担任，吴文俊退为专家委员会的学术指导，属顾问性质（1999年）获奖情况
1956年因示性类及示嵌类的工作荣获国家第一届自然科学奖最高奖一等奖（其他两位一等奖获得者为华罗庚和钱学森） 1957年1月增选为中国科学院院士
1958年邀请在1958年国际数学家大会（爱丁堡）做分组报告（未能成行）
1978年全国科学大会得科学大会奖
1988年7月巴黎国际数学和计算机模拟大会，被邀请为专家小组的召集人，(未成行)。
1992年获得第三世界科学院数学奖
1993年度陈嘉庚数理科学奖
1994年荣获香港求是基金会“杰出科学家奖”
1997年获自动推理的最高奖Herbrand奖
香港城市大学名誉博士学位
2000年国家最高科学技术奖
2006年邵逸夫数学奖
2000年度国家最高科技奖[1]个人贡献
吴文俊在数学上作出了许多重大的贡献。
◆ 拓扑学方面，在示性类、示嵌类等领域获得一系列成果，还得到了许多著名的公式，指出了这些理论和方法的广泛应用。他还在拓扑不变量、代数流形等问题上有创造性工作。1956年吴文俊因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。
◆ 数学机械化或机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。这项工作为数学研究开辟了一个新的领域，将对数学的革命产生深远的影响。1978年获全国科学大会
xStudyofmath Window Non Study Of Math 吴文俊_百度百科t y Of e Study Of Math Study Of Math
jStudyofmath Window Non Study Of Math 吴文俊_百度百科r u Study Of Math Study Of Math Of