973项目“数学机械化方法及其在信息技术中的应用”
学术交流与汇报会在南昌大学召开。
国家重点基础研究发展规划(973)项目“数学机械化方法及其在信息技术中的应用”2007年学术交流与汇报会于2007年11月11-13日在南昌大学召开。国家科技部基础
本课项目圆满完成了2007年任务,在几何代数、生物特征识别、微分差分特征列方法、密码分析、几何建模、并联机构用于IC设备制造等多个方面取得重要进展。项目成员2007年共出版专著文集14部、发表论文350篇,其中SCI论文160余篇、EI论文120篇;获得奖励14项,包括国家科技进步二等奖一项、省部级一等奖两项, ACM/ISSAC
2007杰出论文奖一项;申请发明专利12项;项目组成员在学术会议上作邀请报告26人次。
973项目“数学机械化方法及其在信息技术中的应用”办公室。