郭红霞 舒新峰 顾明 顾训穰 赵艳芹 刘晓华 段振华 李晶 刘怡文 杨宗源 秦迎春 杨泽民 林勇 范全润 谢步罡 潘斌 董军 顾永立 王玉书 柳柏濂 陈钢 缪淮扣 陈平 李伟琴 宋晓宇 许庆国

交换环 前向推理 线性空间 代数不等式 性能量度 逻辑推论 最小元素 故障诊断 程序性质 数学机械化 线性偏微分算子 吴文俊 调度验证 半素环 重命名 定理机器证明 交换性条件 人工智能的应用 非空真子集 归约 完全性定理 初始状态 智能研究 费马大定理 数学归纳法 非平凡性 逻辑电路 主从模式 机械化证明 模型检验