Ioannis Z. Emiris Bernard Mourrain Matrices in Elimination Theory. 3-44 1999 28 J. Symb. Comput. 1-2 db/journals/jsc/jsc28.html#EmirisM99