Rump, Siegfried M.Siegfried M.Rump2008-04-042008-04-041977-05ACM SIGSAM bulletin 11 (1977), 2, 2-3http://tubdok.tub.tuhh.de/handle/11420/317Several algorithms are known to separate the real zeros of a polynomial. In his thesis Heindel showed, that the computing time of his algorithm using Sturm sequences is polynomially bounded in the length of the coefficients. ...en0163-58241977223ACMhttp://doku.b.tu-harburg.de/doku/lic_ohne_pod.phpMathematikJournal Articleurn:nbn:de:gbv:830-tubdok-388210.15480/882.31511420/31710.1145/1088240.108824110.15480/882.315930767734Other