曾广兴 阿拉坦仓 刘建峰 李朝晖 石伟丽 丁洪生 刘秀平 徐泽林 李廉 特木尔朝鲁 苏道毕力格 张同庄 白根柱 杜小妮 侯国林 王晓民 张鸿庆 罗佑新 严佟然 肖水晶 杨宗源 白玉山 刘洪元 刘惠林 王仁宏 王晓丽 郑瑛 王继民 闫振亚 朝鲁

精确解 微分特征列集 代数方程组 多项式约化 CAI 辅助条件 势对称 特征列 区间运算 零点 余集 分片代数族 多项式优化 解伏题 行波解 首一分解 孤波解 偏微分方程（组） 四元术 样条 机器证明 逻辑推论 定理证明 Grbner基方法 Grobner基方法 上下文无关文法 命题逻辑 Maple 标准形 和式几何