吴文俊教授创立和发展“机器证明理论”在国内外影响巨大

吴文俊教授是我国杰出的老一辈数学家,50年代他曾因在拓扑方面的突出工作获得首届国家自然科学一等奖。70年代初开始从事计算机数学方面的研究工作。十几年来,他从几何定理证明的机械化人手,在世界上首先创立和发展了机器证明理论,这个理论被国际上誉为“吴方法”。     

密码学专家——肖国镇教授

肖国镇教授是西安电子科技大学应用数学系主任、信息保密所所长、亚洲密码学会委员、中国密码学会副理事长、中国电子学会会士、中国计算机学会计算机保密专业学会及多值逻辑学会副主任、国家教委理科教学指导委员会委员、陕西省数学会副理事长,曾任德国、法国、日本等国外五所大学的客座教授。 肖国镇教授长期从事信息论与密码学方面的研究工作,在国际上开创用频谱方法研究密码体制与编码理论,取得了一系列国际领先成果。他所提出的相关免疫频谱特征化定理,国际上通称肖——Massey定理并被公认为流密码研究的基础性定理,曾被多数国际上分组密码与流密码的论文及专著引用。在此基础上他于密码学中首创了稳定性理论,发表了专著《流密码的稳定性理论》。提出了关于安全性的能量守恒原理及BAA攻击。针对稳定性理论提出了‘重量复杂度’及‘球复杂度’     

陈小伍:国内代数学界的新星

正专家简介:陈小伍,中国科学技术大学特任教授、博士生导师。2012年入选教育部新世纪优秀人才支持计划,2014年入选中科院卓越青年科学家项目,并获得意大利国际理论物理中心ICTP的Junior Associate访问资助,2015年获得国家自然科学基金的优秀青年基金项目。目前的研究领域为代数学,研究课题为三角范畴及其应用。已在国内外权威期刊Adv.Math.,IMRN,Doc.Math.,Math.Z.以及J.Algebra等上发表30多篇论文,其中6篇论文被列入相应杂志当期Top 25 Hottest论文。2010     

以不息为体 以日新为道——记著名数学家、博导、王国俊教授

投身数学领域的王国俊教授曾多次荣获省级以上科研成果奖。其中《拓扑分子格(Ⅰ) 》、《一种比较理想的弗晰紧性》和《Fuzz上的序同态》被国家科委列为我国重大科技成果。他创立的“拓扑分子格理论”抓住点集拓扑Fuzzy拓扑学共同的、在格论意义下的本质,通过新研究方法利用“分子”及其“远域系”等重要概念使有点化方法在格的框架上得以实现。这一理论填补了我国教学研究领域的一项空白,大大推动了格上拓扑学的发展。王教授编著的《L—Fuzzy拓扑空间论》一书获国家教委颁发的优秀教材奖,目前已成为国内外从事L——Fuzzy拓扑学研究者广泛引用的经典之作。 十余年来,他先后在《中国科学》、《科学通报》、《数学学报》、美国《数学分析与应用》、日本《一般拓扑学问题及解答》和国际权威杂志《模糊集与系统》等国内外著名刊物上发表论文50余篇。     

涓埃报华夏 精诚攀昆仑——记著名科学家张景中

张景中教授是我国著名的数学家、博士生导师。他不仅在数理科学领域成绩卓著,开拓了定理机器证明的理论与方法,创立了“教育数学”的思想,而且在科普创作方面也造诣颇深。     

李思:站在物理角度探秘数学理论

正专家简介:李思,清华大学数学系教授、副主任,丘成桐数学科学中心教授。多年来在数学物理与几何拓扑的交叉领域展开研究工作。致力于发展与几何密切相关的量子场论/弦理论的数学基础,并应用于几何拓扑的研究中。在以往的研究中,李思独立发展和建立了一套量子化的理论与方法,解决了领域中的重要问题和猜想,并于2016年荣获华人数学家晨兴数学奖金奖。     

孙立贤:淡薄名与荣 踏实工与研

正2015年夏天,桂林电子科技大学材料科学与工程学院收到了一个令人欣喜的消息。博士生导师、教授孙立贤被选为了英国皇家化学学会会士,而且亚洲会士只有6%的名额,时至今日,广西也仅有2人当选。据悉,英国皇家化学学会成立于1841年,是世界上历史最悠久的化学学术团体,也是最有影响力的国际权威学术机构之一。根据专家推荐,学会每年遴选英国及国际上在化学科学研究领域取得杰出成就和为推动化学科学发展作     

数学是一个很漂亮的东西——对话2022未来科学大奖“数学与计算机科学奖”获得者莫毅明

<正>“数学应该是一个很漂亮的东西。”香港大学理学院谢仕荣卫碧坚基金教授（数学）及数学系讲座教授、香港大学数学研究所所长、香港科学院副院长莫毅明说。这些年来,莫毅明致力于多复变函数论、复微分几何与代数几何研究。1988年,他结合非线性偏微分方程领域的里奇流方法与代数几何领域里关于有理曲线的理论,解决了广义弗兰克尔猜想。     

中国新四大发明是什么

造纸术、印刷术、火药、指南针四大发明是中国古代的科技成就。那么,当代中国有叫得响的新四大发明吗?日前有专家本着世界第一和具有原创性的原则,以一家之言的方式探寻中国“新四大发明”,以此祝福中国真正的新四大发明早日出炉。一、数学机械化方法发明人:吴文俊当选理由:给中国传统数学注入活力。吴文俊开创了被称之为数学机械化的研究工作。他继承和发展了中国古代数学的传统,转而研究几何定理的机器证明,彻底改变了这个领域的面貌,被称为“吴方法”。吴文俊的数学机械化方法“把中国传统的数学思想方法化腐朽为神奇”。牛顿发明了微积…     

谈谈MATLAB在“数学模型”课程教学实践中的重要性

MATLAB是由Math Works公司开发的一款功能强大的软件,广泛应用于工程与数学领域。本文讨论了MATLAB在教学实践过程中的辅助作用,显示MATLAB能激发学生学习兴趣、提高教学效果,指出有必要在应用数学及工程相关专业开设MATLAB课程。     

平生问几何 一生一卷诗

中国科学院院士苏步青是一位德高望重的数学家、教育家、诗人,是国际公认的几何学权威,中国微分几何学派的创始人。国际上,他被誉为“东方国度里灿烂的数学明星”、“东方第一几何学家”。他在浙江大学、复旦大学辛勤耕耘70余载,不但在微分几何领域独领风骚,著作等身,还培养出一大批中国数学栋梁。他还是中国人民政治协商会议第七届、第     

数理医学守护“健康中国”——浙江大学求是特聘教授、浙江师范大学数理医学院院长孔德兴的“数学×医学”跨界科研人生

<正>开创者对于浙江大学求是特聘教授、浙江师范大学数理医学院院长孔德兴而言,2008年是一个颇具意味的年份,仿佛一座分水岭,将他的科研工作划分为两个时代。2008年以前,孔德兴是一位纯粹的数学家。他博士毕业于复旦大学数学研究所,在非线性偏微分方程等研究领域中取得了一系列重要成果,解决了一批国际著名的数学问题,后来在哈佛大学又接触到数学物理,开始对相对论里的弦理论和膜理论进行深入研究。     

引用认同在科学计量分析中的应用研究

探讨了引用认同的发展和意义,实例分析冯天瑜教授在1999～2009年间发表的学术论文的引用认同,通过建立引用认同作者索引,分析引用者与被引用者之间的学科联系和知识背景.引文分析不仅要关注被引次数,而且更应该关注引用者情况,引用认同是完善引文分析一种科学的方法.     

1997年度陈嘉庚奖获得者简介

杨乐数理科学奖获得者数学家。１９８０年当选为中国科学院院士（学部委员）。现任中国科学院数学研究所研究员、学术委员会主任。对整函数、亚纯函数的亏值、亏量函数进行了深入研究;对正规族作了系统研究,获得了一些新的重要的正规定则;对整函数与亚纯函数的辐角分布进行了系统、深入的研究。研究成果受到国内外同行的高度评价与许多引用,所得到的亏量关系,被国外学者称为“杨乐亏量关系”等。在函数模分布论、辐角分布论、正规族等领域,以其众多极富创造性的重要贡献,２０年来一直站在研究前沿,是国际上该领域的领头数学家之一。…     

引用认同和引证形象研究综述

目前关于引用的研究,大多只是研究引文、作者的被引情况,很少关注引用者。2001年,美国情报学领域的专家、美国德鲁克赛尔大学教授Howard D.White提出了一种评价个体作者的新方法——引用认同。引用认同和引证形象是全新的重要的研究方法。本文分析了引用认同和引证形象研究的背景,探讨了引用认同和引证形象的国内外研究现状,提出了后续工作的构想和思路。     

"欧先生"来华四百年

在《几何原本》被引介到中国达四个世纪之际,本文回顾了这部西方数学名著在中国的传播过程,介绍了以《原本》为典范的数学思想在西方文化中的作用,特别指出它所体现的公理化思想体系被奉为以理性追求确定知识的圭臬,它所蕴涵的美学价值与真理标准对其他领域具有重大影响,对于教育青年、陶冶人的美好情操具有无可比拟的示范作用。     

吴晓群

正吴晓群,武汉大学数学与统计学院应用数学系主任、教授,致力于非线性系统的控制、同步、参数识别、界的估计及分岔分析的研究,由研究复杂网络的控制与同步、拓扑结构识别及同步域分岔,到研究多层网络领域,走着一条循序渐进的科研之路,取得了一系列创新性成果。先后发表论文75篇,其中SCI收录57篇,Google学术引用2700余次,H指数24,Web of Science引用1500     

模糊数学的哲学分析--关于模糊性和明晰性相互转化关系

1965年，美国加里福尼亚大学计算机教授、著名控制论专家查德发表了《模糊集合》一文，第一次把模糊这一概念引入数学领域，从而宣告一个崭新的数学分支学科一模糊数学诞生了。并很快渗入到数学的各个分支，给现代科学技术的评分领域以深刻影响，显示出强大的生命力。     

高温超导和纳米材料

正"十二五"期间,中科院在高温超导方面取得了一系列突出成果。中科大陈仙辉教授首次在铁基超导体(常压下)突破传统超导体的麦克米兰极限,证实了铁基超导体是除铜氧化合物之外的又一类非常规高温超导体。相关论文已被他引1 085次,为2002—2012年期间我国被引用次数最高的10篇论文之一,在物理领域排名第一。被Science评为"2008年度十大科技进展"、被美国物理学会评为"2008年度物理学重大事件"、被欧洲物理学会评为     

陈省身:人生几何

提起在国际数学领域最有成就和影响的中国人,93岁的数学家陈省身当之无愧.德高望重的陈老是国际数学界公认的大师级人物.早在上个世纪40年代陈省身发现的陈氏级理论就被认为解决了微分几何最重要和最困难的问题,他对整体微分几何学的卓越贡献,影响了整个数学的发展,杨振宁先生赞誉他是继欧几里德、高斯、黎曼、嘉当之后数学史上又一里程碑式的人物.陈省身的晚年特别致力于培养中国高级数学人才,他相信21世纪中国必将成为数学大国,他这一预言也被称为陈省身猜想.