首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
综合新闻
以数学机械化重点实验室为主要承担单位的“973”计划项目得到科技部批准立项
副标题:
时间:2004-10-14 来源:数学机械化重点实验室
以数学机械化重点实验室为主要承担单位的
“
973
”
计划项目“
数学机械化及其在信息技术中的应用”
最近得到科技部批准立项。这一项目计划研究数学机械化理论、高效算法及其在信息安全、生物特征识别、几何建模等信息领域中的应用,并以此为基础开发智能型数学机械化网络软件,为科学研究与技术创新中的脑力劳动提供工具。
相关附件
相关文档
Copyright© 中国科学院数学与系统科学研究院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1