在众多的温室气体排放来源中，农业系统，特别是水稻生产，占据很大比例。中国水稻生产的温室气体减排已引起学界的广泛关注。
适用于CAD几何引擎的NURBS曲面自交快速判定和计算是CAD领域长期以来的困难问题。
提出一种全新的形式化定理证明Agent——Numina-Lean-Agent。在形式化定理证明和自动形式化方面达到了世界最先进的性能。
研究团队引入人工智能教师代替部分人类教师，教授学生学习围棋。
| 关于我们 |
| 研究所简介 |
| 现任领导 |
| 科研队伍 |
| 获奖与荣誉 |
| 关肇直青年研究奖 |
| 许国志博士后奖励基金 |
| 科研单元 |
| 管理决策与信息系统重点实验室 |
| 系统控制重点实验室 |
| 数学机械化重点实验室 |
| 基础数学与应用数学研究室 |
| 统计科学研究室 |
| 复杂系统研究室 |
| 经济分析与预测科学研究室 |
| 导师队伍与招生 |
| 招生导师介绍 |
| 研究生招生 |
| 毕业生介绍与寄语 |
| 招生宣传短片 |
| 期刊、学会、科学传播 |
| 系统科学与复杂性（英文） |
| 系统科学与数学 |
| 计量经济学报 |
| 中国系统工程学会 |
| 控制理论专业委员会 |
| 计算机数学专业委员会 |
| 自抗扰控制专业委员会 |
| 数字孪生与不确定性量化分会 |
| 联系我们 |
| 人才招聘 |
| 地理位置 |
| 来访指南 |
| 图书资料 |
