石赫 赵文静 李传中 刘群 徐扬 李志斌 陈述 余振坤 郑逢斌 曹忠 许道云 孟丹 侯晓荣 刘健民 朱福喜 陈云录 龚昌盛 秦克云 刘杰 柳银萍 陈计 薛利 高小山 刘大昕 夏洁

完全判别系统 非构造性问题 平面解析几何 Maple软件ⅤRelease51 归结原理 例证法 规则 非链格蕴涵代数上的四值命题逻辑系统LP4（X） 交互推理 演化方程 吴文俊 格蕴涵代数 时间复杂度 几何信息库 数学机械化 谓词逻辑 分配律 机器证明 数值计算 孤波解 数学机械化方法 可扩展标记语言（XML） 人工智能 中国科学院院士 教育技术 树型方法 构造性研究 知识表示 标记逻辑 研究领域