Daniel Lazard Thirty years of Polynomial System Solving, and now? 222-231 2009 44 J. Symb. Comput. 3 http://dx.doi.org/10.1016/j.jsc.2008.03.004 db/journals/jsc/jsc44.html#Lazard09