数学大师吴文俊

来源 :中国人才 | 被引量 : 0次 | 上传用户：hhl20020922

【摘要】

：

吴文俊,1919年出生,1957年当选为中科院学部委员(后改为院士).现任中国科学院系统科学研究所名誉所长.1991年当选第三世界科学院院士.在拓扑学、自动推理、机器证明、代数几

【作者】

：

瘐晋子萌

【出处】

：

中国人才

【发表日期】

：

2002年11期

【关键词】

：

数学家研究方向拓扑学数学机械化吴文俊

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

吴文俊,1919年出生,1957年当选为中科院学部委员(后改为院士).现任中国科学院系统科学研究所名誉所长.1991年当选第三世界科学院院士.在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉.他在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果,创立的"吴文俊方法"在国际机器证明领域产生巨大的影响,有广泛的应用价值.

其他文献

泛长三角区域公路学会第二次联席会议举行

6月3日，泛长三角区域公路学会第二次联席会议在江西上饶举行，来自江西、浙江、江苏、山东、安徽及上海五省一市的公路学会的理事长、秘书长以及有关人员参加了会议。江西省公路

期刊

江西省公路学会长三角区域副理事长秘书长

历史教学超载问题溯源及解决策略

一、历史教学超载：一种值得反思的学生课堂学习负担超载,《现代汉语词典》这样注释：运输工具装载的货物或乘坐的人超过规定的载重量。什么是课堂教学超载呢？为了更好地说明这个

期刊

超载问题历史教学《现代汉语词典》决策课堂教学学习负担运输工具教学案例

高职学生游泳教学课中“打腿与划手”动作的教法

游泳这种运动对人的身体有着很多益处，已经逐渐成为国人最喜爱的运动之一，国家也在中小学及高校大力推行游泳教学。在对高校游泳教学现状分析的基础上，发现游泳教学在高职院校体

期刊

高职游泳教学打腿划手

关于加强青少年男子400米运动员速度耐力的研究

速度耐力是提高青少年男子400米项目运动成绩的一项重要因素。速度耐力就是一位短跑运动员能否在比赛中保持较长时间快速跑的能力。一位青少年男子400米运动员即使具有较好的

期刊

400米速度耐力训练

十二五规划背景下广州市业余体校羽毛球教学改革探析

羽毛球是一项健身价值较高、趣味性极强的体育运动项目。一直以来羽毛球都是业余体校的重要训练教学项目之一，本文在了解当前广州市业余体校教学现状的基础之上，就如何在十二五

期刊

十二五规划业余体校羽毛球教学改革

学会举办“道路工程建设管理信息系统技术研讨会”

为了落实市政府有关“上海市城市建设和管理“十二五”规划”要求，上海市公路学会于2013年5月14日召开“道路工程建设管理信息系统技术研讨会”。研讨会由上海市公路学会副理

期刊

上海市公路学会管理信息系统技术研讨会道路工程“十二五”城市建设副理事长市政府

光学零件表面消光的几种实现方法

探讨了光学零件表面消光的几种实现方法，目前主要有移印机机印、丝网印刷和喷漆方法。不同形状有其相应的实现方法，甚至有多种实现方法，但效率却有所不同。解决了加工中出现的工

期刊

光学零件表面消光实现方法移印机机印丝网印刷喷漆Surface light extinction of optical components Solu

我看硅谷：追踪科技成才致富的四大理念

硅谷(Silicon valley)既是地理位置,也是高科技代名词,它是美国高科技中心.硅谷一是高科技公司多,持公司认股权的人也多.据盖洛普调查:全美持认股权最多的前三个县全在湾区(B

期刊

硅谷美国高科技企业人才培养财富创造经营理念科技创新激励机制

柔性测量臂测头半径补偿算法研究

柔性测量臂测头半径补偿的精度对系统精度具有重要影响。本文在分析半径补偿基本原理的基础上，提出了一种基于测量特征分类的半径补偿算法。该算法首先把测量特征分为点、线、

期刊

柔性测量臂半径补偿参数曲面曲面拟合Articulated coordinate measuring machine （ ACMM） Probe rad

学会再度荣获先进学会称号

5月24日，在贵阳召开的全国公路学会工作会议上，上海市公路学会再度荣获中国公路学会授予的先进学会称号。会上，学会秘书长张蕴杰介绍了这两年学会在服务社会、服务政府、服务会

期刊

中国公路学会上海市公路学会产学研一体化服务秘书长

数学大师吴文俊

与本文相关的学术论文