数学院数学机械化重点实验室（中文）

以数学机械化重点实验室为主要承担单位的“973”计划项目得到科技部批准立项

副标题：

时间：2004-10-14 来源：数学机械化重点实验室

以数学机械化重点实验室为主要承担单位的“973”计划项目“数学机械化及其在信息技术中的应用”最近得到科技部批准立项。这一项目计划研究数学机械化理论、高效算法及其在信息安全、生物特征识别、几何建模等信息领域中的应用，并以此为基础开发智能型数学机械化网络软件，为科学研究与技术创新中的脑力劳动提供工具。

相关附件

相关文档