许康 骆祖英 郭世荣 郭书春 胡作玄 甘向阳 姜岩 罗见今 李文林 何超

数学机械化 机器证明 定理机器证明 拓扑学 当代数学教育 古为今用 刘徽 数学史 科学史研究所 高等学校 数量经济学 中国数学 数学 自主创新 成就 机械化证明 中国科学 叶笃正 中国科学技术大学 吴方法 运筹学 非物质文化遗产 丝路基金 科学成就 中国数学史 数学与天文丝路 对策论 讲座 内蒙古师范大学 数学与天文丝路基金

数学机械化 机器证明