陈哲 欧永斌 张军 彭宏 戴滨林 蓝岚 罗先发 李世群 拜战胜 杨立洪 汤人翰

循环不变式 结构化技术 搜索 最优化 Clifford矩阵 并行算法 列u相似 遗传算法 程序规范 纯双曲群 界函数 实Hilbert空间 对话控制 面向对象技术 问答系统 勾股定理 对话系统 演化策略 在交投影 全局优化 列u矩阵 Mbius群 自然语言处理 代价函数 组合优化 最佳同时逼近 程序的形式推导方法

华南理工大学应用数学系 吉首大学教务处 湖南吉首 湘潭大学数学系 吉首大学数学与计算机科学系 中南大学信息科学与工程学院 湖南农业大学信息科学技术学院 吉首大学数学系