On the correctness of some bisection-like parallel eigenvalue algorithms in floating point arithmetic. Demmel, James W.; Dhillon, Inderjit; Ren, Huan — 1995 ETNA. Electronic Transactions on Numerical Analysis [electronic only]