首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
综合新闻
• 实验室在深度学习泛化与安全的数学理论上取得进展,3篇论文被NeurIPS接受
2024-10-08
• 实验室学生荣获第九届全国高校密码数学挑战赛总决赛特等奖
2024-08-28
• 基于贝叶斯参数估计的多维空间椭球拟合(赵明阳,贾晓红,李启寨等)
2024-08-27
• 实验室博士生陈琦元获2024年度国际符号和代数计算会议(ISSAC)最佳学生论文奖
2024-08-20
• 《面向中望龙腾几何建模引擎的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
<共22页>
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1