1. Collins, G. E.: Infallible Calculation of Polynomial Zeros to Specified Precision, Mathematical Software III (Rice, J. R., ed.), pp. 35–68. New York: Academic Press 1977.
2. Collins, G. E.: Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Lecture Notes in Computer Science, Vol. 33, pp. 134 –183. Berlin-HeidelbergNew York: Springer 1975.
3. Collins, G. E.: Real Root Subsystem, in SAC-2 System of Algebraic Algorithms. Available at request.
4. Collins, G. E., Akritas, A. G.: Polynomial Real Root Isolation Using Descartes’ Rule of Signs. SYMSAC 1976, 272 –275.
5. Collins, G. E., Horowitz, E.: The Minimum Root Separation of a Polynomial. Math. Comp. 28, 589–597 (1974).