[ACM Press the second ACM symposium - Los Angeles, California, United States (1971.03.23-1971.03.25)] Proceedings of the second ACM symposium on Symbolic and algebraic manipulation - SYMSAC '71 - Integer arithmetic algorithms for polynomial real zero determination