1. Polynomial real root isolation using Descartes’ rule of signs;Collins,1976
2. Interval arithmetic in CAD computation;Collins;J. Symb. Comput., submitted,2001
3. The minimum root separation of a polynomial;Collins;Math. Comp.,1974
4. An inequality for the discriminant of a polynomial;Mahler;Michigan Math. J.,1964
5. Some useful bounds;Mignotte,1982