姚姗姗特聘副研究员, 北京邮电大学

The method of moving planes and moving quadrics expresses the implicit equation of a rational parametric surface as a compact determinant. Efficient computation of the moving planes and moving quadrics of a rational surface has gained much attention in the past two decades. Recent development suggests that a promising approach is to compute a μ-basis of a rational surface with respect to one variable -- a minimal basis of the syzygy of a univariate polynomial matrix generated from the parametric equation of the rational surface. We proposes an efficient algorithm to compute a μ-basis for a tensor product rational surface with respect to one variable from a set of moving planes.