企业培训资讯_企业培训干货

当前位置:首页 > 名师团队 > 导师语录

WenjunandWusMethod吴文俊及“吴方法”|yabo手机版登录

发布时间:2020-12-23    来源:官网首页3080

本文摘要:WuWenjunandWusMethod吴文俊及“吴方法”wuWenjun,awellknownmathematician,borninShanghaiinMay1919,graduatedfromShanghaiJiaotongUniversityin1940

国际

Wu Wenjun and Wus Method吴文俊及“吴方法”wu Wenjun, a well known mathematician, born in Shanghai in May 1919, graduated from Shanghai Jiaotong University in 1940. In 1947,he went to France for advanced study in University of Strassbourg. In 1949, he obtained his national doctor s degree of France.In 1957, he was elected as an academician of Chinese Academy of Sciences ( CAS). In 1990, he was elected as an academician of the Third World Academy of Sciences.吴文俊,1919年5月12日出生于中国上海,知名的数学家,1940年毕业于上海交通大学,1949年取得法国斯特拉斯堡大学博士学位。1957年,他被议会选举为中国科学院( CAS)的院士。1990年,被议会选举为第三世界科学院科学院士。His research work covered a wide area of mathematics.lts main achievements involved two areas of topology and mathematical mechanization. In the late 1970s, against the background of great development of computer technology, he has inherited and developed the tradition of ancient Chinese mathematics (that is, algorithm of thinking), and turned to study automated theorem proving, completely changed the face of this area. As a disciplinary precursor, Wu made monumental contributions to the field of topology by introducing Wus imbedding and characteristic classes and establishing Wus Formulae, well-known for Wus Method, which have been widely accepted by his counterparts and had exerted worldwide influence. Wus research has made a series of international leading results and has been applied internationally popular symbolic computation software.吴文俊的研究工作牵涉到数学的诸多领域,其主要成就展现出在拓扑学和数学机械化两个领域。

他为拓扑学做到了奠基性的工作。20世纪70年代后期,在计算机技术大发展的背景下,他承继和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理小说界先驱性的工作。他的示性类和示嵌类研究被国际数学界称作“吴公式”,“吴示性类”,“吴示金字类”,并在国际上产生了深远影响,被称作“吴方法”。

吴的研究获得了一系列国际领先成果并已应用于国际上当前风行的符号计算软件方面。


本文关键词:示嵌,领域,yabo手机版登录,科学,议会选举

本文来源:亚博网页版登录-www.viponlinesale.com

分享到:
相关推荐MORE+
01-20 花山瑶族乡召开2019年壮大村集体经济专题研讨会-亚博网页版登录

本文摘要:最近,花山瑶族乡在乡大会议室召开了2019年村集体经济专题研讨会,该乡主要领导、各工作组长和贫困村第一书记参加了会议。最近,花山瑶族乡在乡大会议室召开了2019年村集体经济专题研讨会,该乡主

01-20 yabo手机版登录:加强文化扶贫 关爱留守儿童 助力脱贫攻坚

本文摘要:加强文化贫困地区,保护孩子,帮助扶贫!根据目前保护儿童不存在的问题,由贫困地区后盾公司贺州市民政局联合,贺州市未成年人维护中心和深圳市德善公益理事长联合组织,在红花镇铜盆小学积极开展益启儿童

01-20 钟山县"与易地扶贫搬迀户共度春节"活动正式启动【yabo手机版登录】

本文摘要:为了全面贯彻自治区正确的贫困地区、正确的贫困扶助,进一步做好我县易地贫困地区转移工作,大力营造良好的节日氛围,更加易地贫困地区转移户在新居聚集春节,有效提高多年入住率,钟山县1月13日开始,

01-20 默克尔:希望球迷给德国两将掌声 球队需要他们

本文摘要:原标题默克尔希望球迷能给德国的两支掌声队。原标题默克尔希望球迷能给德国的两支掌声队。在此之前,德国国家队选手京多安和阿齐尔和土耳其总统艾尔多福拍了照片,在德国足球界引起了巨大的波动。京多安和

亚博网页版登录_美食推荐:火爆肥肠,照烧鸡肉丸,茄汁排骨,家常炖鸡翅的做法 美食推荐:咸蛋茄子、番茄炒西兰花、蒜香煎茄子、香辣藕丝的做法-yabo手机版登录
热门文章
亚博网页版登录:三星新预热视频:摄影史掀起新篇章 或支持超级防抖
Note 7余波不断 三星被指区别对待中国消费者:yabo手机版登录
yabo手机版登录-IoTeX & Tenvis强强联手:打造新一代隐私家用摄像头
搜狗搜索上线AI分析识别黑色素瘤服务-yabo手机版登录
人工智能无法无天AI在DOTA2中战胜前1%玩家|亚博网页版登录
假如你能训炼AI来预测美国学生体育文化研究会恐怖三月篮球联赛-亚博网页版登录
鲁炜:中国是网络攻击的“主要受害国”_亚博网页版登录
2018年智能交通大升级就来了|亚博网页版登录
选择智能清扫机器人是下流的自由选择-yabo手机版登录
挪动机器人智能的一个最重要标示是行车导航系统软件,而搭建机器-yabo手机版登录
新产品应用金属双极板缘故取决于其容积功率低
《财富》:谷歌X实验室与爱尔康公司是如何达成协议合作的?【亚博网页版登录】
人工智能安全创业公司澎思科技9月完成千万级天使轮融资:yabo手机版登录
卫星测量控制是航空宇宙最重要的细分领域_亚博网页版登录
厨房里的心血来潮假如用餐时用以触摸机器设备,您很有可能会注|yabo手机版登录
客户案例
×