首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
综合新闻
• 万哲先院士纪念网站
2023-06-01
• 万哲先院士讣告
2023-05-31
• 实验室成员程进三提出的保拓扑的参数曲面求交论文被计算机图形学顶会SIGGRAPH接收并在ACM Transactions ...
2023-08-23
• 实验室工作“基于Plucker坐标的低阶矩阵完备理论”被IEEE TPAMI接受发表
2023-07-05
• 实验室工作被人工智能顶刊IEEE TPAMI接收发表
2023-06-29
• 实验室关于DNN参数对抗攻击的工作被ICML2023接受
2023-05-18
• 数学机械化重点实验室有5篇文章被2023年度国际符号和代数计算会议(ISSAC2023)接收
2023-05-09
• “2023年组合理论与算法研讨会” 在中科院数学院召开
2023-05-09
• 数学机械化实验室招聘公告
2022-10-26
• 实验室两篇论文被NeurIPS 2022接收
2022-11-04
• 实验室贾晓红研究员在有理曲面奇点计算方面取得进展
2022-09-26
<共21页>
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1