Necessary and sufficient conditions for interval polynomials to have only real distinct roots (Q804230)

This paper is concerned with the location of polynomial zeros. Let \(\alpha_ i,\beta_ i\in {\mathbb{R}}\) with \(\alpha_ i\leq \beta_ i\) for \(i=0,1,...,n\). Let F denote the family of real polynomials \(p(x)=c_ 0+c_ 1x+...+c_ nx^ n\) where \(\alpha_ i\leq c_ i\leq \beta_ i\) for \(i=0,1,...,n\). The paper provides necessary and sufficient conditions such that every polynomial in F has only real and distinct zeros. These conditions involve extremal polynomials of the family F and resultant matrices associated with the extremal polynomials. The author claims that checking the conditions ``requires only a finite number of computations'' but this claim is stated without proof.