Selected references Erwin H. Bareiss. Resultant procedure and the mechanization of the Graeffe process. Journal of the ACM, 7(4):346-386, October 1960.