中国科学院大学 中国科学院大学新闻网

【新闻网讯 沈丹】2006年6月22号，中科院数学与系统科学研究院系统科学研究所所长、数学机械化重点实验室主任，博士生导师，高小山研究员在中关村教学楼N413教室给同学们做了题目为“代数微分方程的初等函数解”的报告。 高小山研究员主要从事自动推理、符号计算、智能CAD研究与智能软件开发。开发的智能软件“几何专家”被美国Loveland称为最好的几何证明系统，被法国专家Caferra称为 “重要与具有代表性”的几何推理系统。高小山研究员已出版专著两部，发表研究论文100余篇。 高小山研究员在讲座一开始先喜报了中国数学机械化的奠基人，中科院数学与系统科学研究院系统科学研究所研究员吴文俊院士荣获数学中的诺贝尔奖“邵逸夫奖”。接着高小山研究员从欧几里德几何的证明出发再到笛卡尔，莱布尼兹和希尔伯特介绍了许多科学家一直希望把数学证明机械化，但由于数学的范围太广而未能成功。20世纪70年代，吴文俊院士提出了在有限的范围用机械化的方法解决一些关键性的问题，同时提出了“吴方法”。最后，高小山研究员介绍了机械化方法在其它重要领域的应用。 同学们从高小山研究员的讲座中认识到了数学发展对科技发展的巨大作用，当高小山研究员结束讲座时同学们报以了热烈的掌声。