Heintz, Joos Definability and fast quantifier elimination in algebraically closed fields. (Russian) Zbl 0589.03010 Kibern. Sb., Nov. Ser. 22, 113-158 (1985). MSC: 03C10 03D15 12L12 03C60 13L05 14A25 PDFBibTeX XMLCite \textit{J. Heintz}, Kibern. Sb., Nov. Ser. 22, 113--158 (1985; Zbl 0589.03010)
Heintz, Joos; Sieveking, Malte Lower bounds for polynomials with algebraic coefficients. (Russian) Zbl 0533.68042 Kibern. Sb., Nov. Ser. 20, 46-58 (1983). MSC: 68Q25 12D10 30C15 15A06 PDFBibTeX XMLCite \textit{J. Heintz} and \textit{M. Sieveking}, Kibern. Sb., Nov. Ser. 20, 46--58 (1983; Zbl 0533.68042)