首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
纪念吴文俊先生百年诞辰
2019年5月12日将迎来我国已故著名数学家吴文俊先生的百年诞辰。吴文俊先生是我国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献,开创了数学机械化新领域,对数学与计算机科学研究影响深远。他的研究工作涉及代数拓扑学、微分拓扑学、数学机械化、代数几何学、对策论、数学史等...
[详情]
综合新闻
• 实验室在深度学习泛化与安全的数学理论上取得进展,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
讨论班
• 数学机械化理论-高小山 李子明 冯如勇 陈绍示 李伟
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
• International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mec...
2019-03-10
学术报告
(2024.2.22 10:00am)
Integer Partitions: A Pennsylvania Perspe...
(2023.9.7 15:00pm S525)
Karr's Theory of Summation in Finite Term...
(2023.7.4 14:00pm S525)
On the Geometry of Geometric Rank
(2023.7.3 9:30am S525)
Classification of weighted dual graphs as...
(2023.6.30 10:00am S525)
Hypergeometric creative telescoping
(2023.6.29 14:00pm S525)
Gröbner Bases and Combinatorial Tools fo...
(2023.6.21 11:00am N213)
A Simple Yet Effective Strategy to Robust...
(2023. 4. 26 15:00pm,思源楼525)
First-order factors of linear Mahler oper...
(2023.4.14 14:00pm N205)
Structured Matrices Approach for Legendre...
(2021.12.24 16:00pm S525)
Distinct distances on hyperbolic surfaces
计算机数学专业委员会
中国科学院数学与系统科学研究院
中国科学院系统科学研究所
中国科学院信息工程研究所
ISSAC
奥地利符号计算研究所
法国国家信息与自动化研究所
北卡州立大学符号计算研究组
西安大略将计算机代数研究中心
滑铁卢大学符号计算研究组
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1