源远 周彩莲 黄黎 严爱国 吴献超 闫琳 薛利 陈旻 沈蕾 解烈军 王雪敏 刘莎

代数剖分 CAD算法 区间运算 小波变换 临界点 多项式判别系统 主成分分析 GMMM算法 稳定判据 几何语言 自动推理 样本点 Sturm-Tarski定理 正定性 多项式系统 掌纹主线 数值计算 非构造性问题 球极变换 交点构形 邻域 线性判别分析 相关性判准 p-不可约 例证法 根隔离区间 二次曲线 符号计算 自动分词 键合多项式

宁波大学理学院 浙江宁波 中科院成都计算机应用研究所 浙江纺织服装学院机电与信息工程分院 曲阜师范大学计算机学院 宁波大学信息与计算科学研究所 宁波大学数学系