Mu-bases for Polynomial Systems in One Variable

The notion of a @m-basis for an arbitrary number of polynomials in one variable is defined. The basic properties of these @m-bases are derived, and an algorithm is presented based on Gaussian Elimination to calculate a @m-basis for any collection of univariate polynomials. These @m-bases are then applied to solve implicitization, inversion and intersection problems for rational space curves. Systems where base points are present are also discussed.