数学机械化研究中心 年 报.pdfVIP

数学机械化研究中心 年 报 1999 年 __________________________________________________________ 以中心为主要承担单位的国家重点基础研究规划项目“数学机械 化与自动推理平台”经过一年的执行，在各级领导的指导下，在项 目全体成员的共同努力下，在项目组织管理与研究工作方面都取 得显著进展。另外，中心的一批成果在国内外获奖：高小山荣获 1999 香港年求是基金会杰出青年学者奖, 中科院杰出青年称号, 第 四届亚洲数学技术大会“最佳论文”奖。李洪波入选中科院“引进国 外杰出人才”。中心在Clifford 代数，几何自动作图与智能CAD， 微分代数几何，微分方程求解等科研方面取得重要进展。中心还 积极开展学术交流，主持组织了“数学与数学机械化国际研讨会” 与“数学机械化高级研讨班”，邀请了数十位国内外学者来中心交流 访问,还与若干国外学术机构建立了固定学术联系或协议。本年报 将分类介绍中心在本年度的工作。 o “973”项目 o 获奖情况 o 主要科研工作简介 o 完成和发表论著和论文目录 o 学术交流 o 讨论班 o 中心建设 • “九七三”项目• ★1 月22 日，全国人大常委会副委员长，原中国科学院院长、国家重点基础研 究发展规划顾问组长周光召同志到我所数学机械化中心视察工作。严义埙副院长、 杨柏龄副秘书长、基础局金铎局长等陪同视察。光召同志详细询问了项目中一些 具有理论创新与技术开发前景，有可能形成产业化的研究课题的进展情况。明确 指出：我们取得的具有技术创新前景的研究成果，务必要抓紧时机积极组织技术 开发，尽快形成我国自己的技术产业。不然，如果座失时机，让外国利用我们的 成果开发出新技术，将是极为可惜的。对于那些国际标准尚未公布、仍在制定之 中的技术，光召同志明确要求：要尽快把我们独创的技术发展起来，力争在国际 竞争中占有一席之地。他最后指出：技术开发需要一定的投入，要争取各方面力 量的支持。 ★2 月10 日 ，“数学机械化与自动推理平台”专家委员会召开扩大会议，参加人 员包括项目专家组全体成员,项目依托部门国家自然科学基金委数理学部许忠勤 副主任,中科院基础局李和娣处长,项目建议人金国藩院士,原攀登项目专家组成 员:胡国定,吴文达。本次会议确定了项目的基本方针以及项目子课题分解与课题 参加人员。 ★5 月23 －25 日，在中国科学院系统科学研究所召开了“数学机械化与自动推理 平台”项目实施大会。国家科技部马宏健处长，国家基金委数理学部许忠勤副主 任，项目专家组成员与项目全体成员参加了大会。高小山研究员传达了国家科技 部关于组织实施“973”项目的精神与本项目根据这一精神的具体组织情况。各项 目成员就自己的工作计划作了学术报告，各子课题负责人还对课题的组织提出了 设想。国家科委基础司重大项目处处长马宏健讲话，他强调“973”项目，即要在 理论上要有高水平工作，争取在世界科学前沿占有一席之地，又要在应用方面要 面向国家需求与国防需求。希望通过理论研究带动技术发展。他指出：要选择基 础好，有发展前途的若干个重要方向组织攻关，应该瞄准高目标，比如国家自然 科学奖。他指出从事基础研究的队伍要精简，要突出重点，要有一定的支持强度。 中期评估后，要根据项目要求和研究工作进展情况，对项目人员队伍进行调整。 他最后希望，参加项目人员要努力工作把数学机械化研究推向深入。 ★973 项目子课题“ 自动推理平台”于1999 年9 月14 日在中科