张景中 石赫 郭书春 孙晓琳 房元霞 徐泽林 甘向阳 冯勇 傅海伦 刘秋香 谭震宇 姜岩 胡作玄 李洪波 王磊 徐向华

吴文俊 塔斯基 积分 逻辑 导数 自动推理 恰当的Yang-Mills方程 构造性研究 中国科学院 数学研究 机械化思想 示性变换 SU（3）规范场 经世致用 代数方程组 中国传统数学 Maple 机器证明 吴方法 机械化证明 思维 对策论 区间运算 CAI 王浩 中国数学史 吴文俊 和算 示性类 数学史

吴文俊