首页
|
英语
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
纪念吴文俊先生百年诞辰
2019年5月12
日将迎来我国已故著名数学家吴文俊先生的百年诞辰。吴文俊先生是我国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献,开创了数学机械化新领域,对数学与计算机科学研究影响深远。他的研究工作涉及代数拓扑学、微分拓扑学、数学机
械化、代数几何学、对策论、数学史等...
[详情]
综合新闻
•
数学机械化重点实验室有
7篇文章被2024
年度国际符号和代数计算会议
(ISSAC2024)
2024-06-04
•
实验室在深度学习安全的数学理论上取得进展,
国际资本市场委员会
2024-05-08
•
贾晓红研究员荣获
“
中国科学院三八红旗手”荣誉称号
2024-03-08
•
实验室在深度对抗学习数学理论方面取得进展
2024-03-08
•
贾晓红研究员与广联达合作获得获得华夏建设科学技术一等奖
2024-03-01
•
叶科副研究员获华为公司两项重要奖励
2023-12-28
•
跨界合作!生物数据安全与隐私计算高峰研讨会精彩纷呈
2023-12-06
•
万哲先院士纪念网站
2023-06-01
讨论班
•
数学机械化理论-高小山 李子明 冯如勇 陈绍示 李伟
2017-02-24
•
计算代数几何-支丽红 李洪波 叶科 王定康 李博 程进三 王杰
Manolis C.Tsakiris公司
2014-06-23
•
信息安全的数学理论-张志芳 邓映蒲 冯秀涛 潘彦斌 刘卓军
2014-10-09
•
可积系统数学理论及应用-闫振亚 韩阳 罗旭丹 张国强
2014-06-23
•
数字化设计与数控数学方法-袁春明 贾晓红 李子佳 申立勇
2014-06-23
学术会议
•
组合理论与算法研讨会
2023-04-20
•
组合理论与算法云端论坛
2022-12-07
•
计算机数学云端论坛
2021-04-19
•
计算机数学及相关领域学术报告会
2019-10-21
• “
组合理论与算法研讨会” 在中科院数学院召开
2019-10-25
•吴文存学术思想与数学机制国际研讨会。。。
2019-03-10
学术报告
(2024.2.22上午10:00)
整数分区:宾夕法尼亚州透视。。。
(2023.9.7 15:00pm S525)
卡尔的有限项求和理论。。。
(2023.7.4下午14:00 S525)
关于几何秩的几何
(2023.7.3上午9:30 S525)
加权对偶图的分类。。。
(2023.6.30上午10:00 S525)
超几何创造性望远镜
(2023.6.29下午14:00 S525)
Gröbner基和组合工具。。。
(2023.6.21 11:00 N213)
一种简单而有效的稳健战略。。。
(2023. 4.
26 15:00pm,525)
线性Mahler算子的一阶因子。。。
(2020年3月14日下午14:00 N205)
勒让德的结构化矩阵方法。。。
(2021.12.24 16:00 S525)
双曲曲面上的不同距离
计算机数学专业委员会
中国科学院数学与系统科学研究院
中国科学院系统科学研究所
中国科学院信息工程研究所
ISSAC公司
奥地利符号计算研究所
法国国家信息与自动化研究所
北卡州立大学符号计算研究组
西安大略将计算机代数研究中心
滑铁卢大学符号计算研究组
版权所有©
中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路
55号 邮编:100190
电话:
86- 10-82541851 传真:86-10-82541809
京
国际比较项目05002806?-1