首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
纪念吴文俊先生百年诞辰
2019年5月12日将迎来我国已故著名数学家吴文俊先生的百年诞辰。吴文俊先生是我国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献,开创了数学机械化新领域,对数学与计算机科学研究影响深远。他的研究工作涉及代数拓扑学、微分拓扑学、数学机械化、代数几何学、对策论、数学史等...
[详情]
综合新闻
• 数学院携手 Project Numina:三维挂谷猜想证明完成形式化验证
2026-09-08
• MechGeo:首次在 Lean 4 中大规模完成IMO几何题自动形式化与机器证明
2026-08-21
• 基于 Wilf–Zeilberger 方法与大语言模型的组合恒等式自动形式化证明(刘俊杞、王...
2026-06-02
• 数学机械化重点实验室有4篇文章被2026年度国际符号和代数计算会议(ISSAC2026)接收
2026-05-11
• Filippo A. E. Nuccio Mortarino Majno di Capriglio(Université Jean Monnet, Fr...
2026-02-10
• 面向形式化数学的开源通用智能体推理系统(刘俊杞、何伟鲲、支丽红及合作者)
2026-02-05
• 贾晓红研究院获2025年度中创软件人才奖
2025-11-19
• 2024年度北京市科学技术奖正式公布,实验室高小山研究员,袁春明研究员获得自然科...
2025-11-08
讨论班
• 计算代数几何-支丽红 李洪波 叶科 王定康 李博 程进三 王杰 Manolis C.Tsakiris
2014-06-23
• 信息安全的数学理论-张志芳 邓映蒲 冯秀涛 潘彦斌 刘卓军
2014-10-09
• 可积系统数学理论及应用-闫振亚 韩阳 罗旭丹 张国强
2014-06-23
• 数字化设计与数控数学方法-袁春明 贾晓红 李子佳 申立勇
2014-06-23
• 数学机械化理论-高小山 李子明 冯如勇 陈绍示 李伟
2017-02-24
学术会议
• 组合理论与算法研讨会
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
学术报告
()
Integer Partitions: A Pennsylvania Perspe...
()
Karr's Theory of Summation in Finite Term...
()
On the Geometry of Geometric Rank
()
Classification of weighted dual graphs as...
()
Hypergeometric creative telescoping
()
Gröbner Bases and Combinatorial Tools fo...
()
A Simple Yet Effective Strategy to Robust...
()
First-order factors of linear Mahler oper...
()
Structured Matrices Approach for Legendre...
()
Distinct distances on hyperbolic surfaces
计算机数学专业委员会
中国科学院数学与系统科学研究院
中国科学院系统科学研究所
中国科学院信息工程研究所
ISSAC
奥地利符号计算研究所
法国国家信息与自动化研究所
北卡州立大学符号计算研究组
西安大略将计算机代数研究中心
滑铁卢大学符号计算研究组
Copyright© 中国科学院数学与系统科学研究院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1