Polynomial minimum root separation (note to a paper of S.M. Rump) | lit.salon