理学院数理讲坛（2013年第九讲）
发布时间: 2013-05-10 10:28
理学院数理讲坛（2013年第九讲）
报告题目：球面5点猜测的计算机辅助证明
报 告 人：侯晓荣教授（电子科技大学）
报告时间：5月14日（周二）下午3:00
报告地点：龙赛理科楼北楼203 机房
报告摘要：数学家研究二维球面上点的分布问题, 已有100多年的历史了。这类问题叙述简单求解却非常困难, Steve Smale把它列为21世纪18个重要数学问题的第7个（Steve Smale，Mathematical Problems for the Next Century，The Mathematical Intelligencer，Spring 1998, Volume 20, Issue 2, pp 7-15）。球面5点问题, 即球面上的5个点如何分布时，它们之间10个直线距离之和最大, 就是其中典型的一个。这个看似简单的问题，却在半个多世纪里悬而未决。人们猜测，5点应有如下分布: 南、北极各一点，赤道均匀分布3点。有不少文章论及该问题, 给出了一些相关结果, 但对此猜测都没有给出完全严格的证明。我们提出了一个解决这类问题的方法, 并借助于计算机演算, 给出了该猜测的一个严格证明。
专家简介：侯晓荣，教授，博士生导师。先后在中国科学技术大学、中国科学院数学所、中国科学院成都计算机应用研究所、宁波大学、电子科技大学工作。1999年法国国家科研中心访问教授。现为电子科技大学能源科学与工程学院教授。获1999年度国务院政府特殊津贴。主要研究领域包括数学机械化、符号计算、控制理论、智能科学理论与应用等。
欢迎感兴趣的老师和同学参加！