Shankar Krishnan Dinesh Manocha Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets. 59-67 1995 ISSAC http://doi.acm.org/10.1145/220346.220354 db/conf/issac/issac95.html#KrishnanM95