刘洋 袁春明 黄章进

有理参数曲线 碰撞检测 μ基 近似非恰当指数 位置关系 隐式化 仿射簇 椭圆间的位置关系 空间曲线 生成多项式 细分格式 半代数系统 恰当参数化 差分格式 近似最大公因子 广义特征多项式

中国科学技术大学数学系 安徽省合肥市 华东师范大学软件学院上海高可信计算重点实... 中国科学院数学与系统科学研究院数学机械化... 北京大学信息科学技术学院