A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. - David R. Lester; Scott Chambers; Heoi Lee Lu (Theor. Comput. Sci., 2002)