丘小峰 陈玉福 罗佑新 范筑军 严佟然 张同庄 刘建峰 张鸿庆 许志强 李晓霞 李朝晖 刘惠林 贾屹峰 丁洪生 谢福鼎

机械化 初式 余式 约束 6R-级组 吴方法 余集 6R-Ⅲ级组 升列 Weierstrass多项式 Hessian矩阵 维数多项式 Grobner基方法 约化 标准形 微分代数 封闭形式解 几何定理机器证明 Lagrange系统 线性微分理想 并联机构