PDF《组织结构 1》

2006 年度报告 -

6 - 苏育才 中国科学技术大学 06/15-06/20 Zhang Yang Brandon Univ., Canada 06/14-06/17 David Garber Holon Academic Institute of Technology, Israel 05/08-05/12 Helene Kirchner INRIA, France 03/20-03/26 Miles Reid Univ. of Warwick, UK 02/10-02/23 Soin Kim Institute of Mathematics, D.P.R. Korea 01/11-01/17

四、公众科学日

5 月21 日是中国科学院北京公众科学日. 来自北京地区的大中小学师生参观了数学 机械化重点实验室.实验室学生介绍了实验室的基本情况和学术进展,并进行了自动推 理平台(MMP)软件演示,引起了参观者的浓厚兴趣. 中国科学院数学机械化重点实验室

2006 年度报告 -

7 - 科研成果与获奖

一、研究工作情况

2006 年度,数学机械化研究中心成员在科研工作、人才培养和学术交流等方面取得 了可喜的成绩.在微分代数和差分代数方面,建立了差分特征列和预结式理论,被差分 代数创始人 R. Cohn 认为是 解决了一个 fundamental 问题 ,被ISSAC 审稿认为是对计 算微分代数的 substantial 和 significant contributions ;

求Laurent-Ore 模的一维子模算法 的工作获得 ISSAC Distinguished Paper Award ;

在几何自动推理、混合计算、计算代数 几何、数学物理方程求解、数学机械化平台开发等方面,也取得了可喜的进展,共计出 版专著

1 本,文集

2 本,发表杂志论文

45 篇(其中 SCI 论文

24 篇). 本年度中心成员获得了多项奖励.特别值得提出的是吴文俊院士荣获第三届邵逸夫 数学科学奖.另外,高小山研究员获得了 中国科学院先进工作者 称号和

2006 年度 中 创软件人才奖 ,并当选为 ISSAC 指导委员会委员;

李子明研究员获得 ISSAC 杰出论文 奖 ;

杨争峰同学被评为中国科学院三好学生标兵;

袁春明同学获院长奖学金优秀奖;

程 进三同学获

2006 年度刘永龄奖学金特别奖. 中心还积极开展学术交流活动. 举办了 物质系统中的能量极小问题研讨会 和 第九 届数学机械化高级研讨班 .本年度有

23 位国际国内学者到中心进行了学术访问.中心 成员参加国际国内会议

52 人次,做邀请报告

8 次. 突出科研成果: 1. 差分方程的特征列方法与预结式理论 特征列方法是数学机械化的核心内容,也是数学机械化方法众多应用的理论与算法 基础.代数和微分情形的吴-Ritt 特征列方法自七十年代以来已经逐渐成熟.由于差分代 数具有的特性,差分情形的吴-Ritt 特征列方法几乎没有进展.本工作在差分吴-Ritt 方法 中引入了一些重要的新概念,发展了关键性的技巧,证明了差分升列的若干基本性质, 得到差分升列是其饱和理想的特征列的充分必要条件,和差分自反素理想和差........