郑纬民 林东岱 郑春芳 赵喜清 马光胜 邵晶波 石青云 武永卫 郭喜凤 杨志 程民德 杨宏 杨广文 丘东元 许传祥 冯刚 张波

数学机械化 几何CAI 自动定理证明 置换法 符号计算 分布式计算 对称多项式 高层次设计 定界模型检验 立体视觉 形式验证 轮廓线 边线 SHE