González-Vega, L.; Recio, T.; Lombardi, H.; Roy, M.-F. Sturm-Habicht sequences, determinants and real roots of univariate polynomials. (English) Zbl 0900.12002 Caviness, Bob F. (ed.) et al., Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Wien: Springer. Texts and Monographs in Symbolic Computation. 300-316 (1998). For the entire collection see [Zbl 0906.03033]. Cited in 1 ReviewCited in 23 Documents MSC: 12D10 Polynomials in real and complex fields: location of zeros (algebraic theorems) 14P10 Semialgebraic sets and related spaces 68W30 Symbolic computation and algebraic computation PDFBibTeX XMLCite \textit{L. González-Vega} et al., in: Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993. Wien: Springer. 300--316 (1998; Zbl 0900.12002)