首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
综合新闻
• 实验室陈绍示副研究员科研进展-多变元幂级数的算术理论研究
2021-11-15
• 陈绍示、冯如勇、马平川等获第46届国际符号和代数计算年会“杰出论文奖”
2021-07-26
• 实验室贾晓红副研究员及其博士生科研进展-基于李代数残差网络的人脸识别
2021-07-13
• 实验室陈绍示副研究员当选 ACM SIGSAM 秘书长
2021-06-23
• 第十二届中国数学会计算机数学大会在广西省桂林市召开
2021-06-19
• 数学机械化重点实验室有2篇文章被2021年度国际符号和代数计算会议(ISSAC2021)接收
2021-05-17
• 数学机械化重点实验室招收博士后
2020-11-30
• 实验室召开2020年年终总结战略研讨会
2020-11-25
• 实验室第五届学术委员会第一次会议在中国科学院数学与系统科学研究院召开
2020-11-25
• 实验室高小山研究员被授予中国工业与应用数学学会首届会士
2020-11-02
• 实验室贾晓红副研究员获得CSIAM应用数学青年科技奖
2020-11-02
<共19页>
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809