Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder Sequences | IEEE Conference Publication | IEEE Xplore