首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
综合新闻
• 万哲先院士纪念网站
2023-06-01
• 万哲先院士讣告
2023-05-31
• 实验室关于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
• 陈绍示获第27届国际计算机代数应用大会(ACA2022)“青年学者奖”
2022-08-22
• 数学机械化重点实验室有3篇文章被2022年度国际符号和代数计算会议(ISSAC2022)接收
2022-06-08
• 实验室陈绍示副研究员科研进展-多变元幂级数的算术理论研究
2021-11-15
<共20页>
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1