Jan Verschelde Numerical algebraic geometry and symbolic computation. 3 2004 conf/issac/2004 ISSAC http://doi.acm.org/10.1145/1005285.1005288 db/conf/issac/issac2004.html#Verschelde04