# zbMATH — the first resource for mathematics

A complete discrimination system for polynomials with complex coefficients and its automatic generation. (English) Zbl 0949.12002
Write the polynomial $$f(x)$$ as $$f_1(x)+ if_2(x)$$, where $$f_1$$ and $$f_2$$ have real coefficients. The authors give a method of determining the numbers of real zeros, pairs of complex conjugate zeros, and complex zeros with no conjugate (which can arise if $$f_2$$ has some non-zero coefficients) of $$f$$.
The method is based on constructing sequences of numbers starting from the signs of determinants of subresultants of various polynomials and their derivatives. It has been implemented in Maple, and some run times are given. The authors also consider dealing with polynomials with literal coefficients and the problem of investigating the positive definiteness of polynomials in two variables.
Proofs are not given, but are referred to from papers inaccessible to this reviewer. Examples, for reasons of space, are not given in full.

##### MSC:
 12E05 Polynomials in general fields (irreducibility, etc.) 12Y05 Computational aspects of field theory and polynomials (MSC2010) 68W30 Symbolic computation and algebraic computation