社区研究

研究专题

各专题的研究内容、组织方式、相关项目与参与说明。

形式化

数学定义、命题与证明的形式化表达、验证与协作。

math4AI 讨论班

围绕人工智能中的数学问题，开展论文阅读、报告与讨论。

教学

数学课程、学习材料、习题与教学实践记录。

工程应用

实际问题中的数学建模、计算方法与实验验证。