1、报告人：司成斌副教授单位：数学学院
题目：具有退化三次曲线解的Hamilton二次系统的Poincare分支
时间：2012年5月25日（星期五）16:00—17:00
地点：数理化楼A210教室
内容简介：早在30多年前，北京大学张芷芬等证明了具有非退化三次曲线解的轴对称三次曲线解的Hamilton二次系统经二次微扰后的Poincare分支不可能分支出两个极限环.报告人在的一般情况下研究了具有退化三次曲线解的Hamilton二次系统。证明了此系统经二次扰动后的Poincare分支可以分支出两个极限环。

2、报告人：江建国博士单位：数学学院
题目：几何定理机器证明研究进展
时间：2012年6月1日（星期五）16:00—17:00
地点：数理化楼A210教室
内容简介：经过半个多世纪的发展，几何定理机器证明已成为自动推理领域内一个非常成功的研究方向，其理论与方法对数学、人工智能、机器人、CAD、教育等领域的研究与发展都产生了极为深远的影响。本报告主要介绍几何定理机器证明近半个多世纪来所取得的重大进展，着重介绍了吴方法、面积法和搜索法等这三个方法的基本原理及其研究进展，并针对每种方法都分别提出了一些有待于进一步研究课题。另外，本报告还从几何不等式、智能几何教育软件等几个大方面进一步展望了几何定理机器证明的研究未来。

3、报告人：姜伟博士单位：数学学院
题目：流形学习研究进展
时间：2012年6月8日（星期五）16:00—17:00
地点：数理化楼A210教室
内容简介：随着计算机与信息科学技术的快速发展，采集数据的工作变得非常容易。然而数据的海量性、高维性和分布的非线性特性却使人们感到越来越难以对其进行驾驭和处理。一方面我们可以获取的数据量变得越来越大；而另一方面，我们却难以找到所需的信息。在此背景下，流形学习应运而生，并为越来越多的研究者所关注。而其目标是解决高维数据分析中数据分布非线性所带来的难题，探索高维非线性数据集中的真实分布几何。

4、报告人：刘泽庆教授单位：数学学院
题目：Bounded Oscillation of a Forced Nonlinear Neutral Differential Equation
时间：2012年6月15日（星期五）16:00—17:00
地点：数理化楼A210教室
内容简介：
The aim of this paper is to study the following nth-order forced nonlinear neutral differential equation

Some necessary and sufficient conditions for the oscillation
of bounded solutions and several sufficient conditions for the
existence of uncountably many bounded positive and negative
solutions of the above equation are established. The results
obtained in this paper improve and extend essentially some
known results in the literature.