首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
综合新闻
• 《面向中望龙腾几何建模引擎的NURBS曲面自交检测的新场景新技术攻关项目》启动会
2024-06-28
• 数学机械化重点实验室有7篇文章被2024年度国际符号和代数计算会议(ISSAC2024)接收
2024-06-04
• 国家重点研发计划项目“计算机数学核心理论、算法与软件”启动会顺利召开
2024-05-20
• 实验室在深度学习安全的数学理论上取得进展,3篇论文被ICML接受
2024-05-08
• 贾晓红研究员荣获“中国科学院三八红旗手”荣誉称号
2024-03-08
• 实验室在深度对抗学习数学理论方面取得进展
2024-03-08
• 贾晓红研究员与广联达合作获得获得华夏建设科学技术一等奖
2024-03-01
• 叶科副研究员获华为公司两项重要奖励
2023-12-28
• 跨界合作!生物数据安全与隐私计算高峰研讨会精彩纷呈
2023-12-06
• 万哲先院士纪念网站
2023-06-01
• 万哲先院士讣告
2023-05-31
<共21页>
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1