Joos Heintz Malte Sieveking Lower Bounds for Polynomials with Algebraic Coefficients. 321-330 1980 11 Theor. Comput. Sci. db/journals/tcs/tcs11.html#HeintzS80