Felipe Cucker Hervé Lanneau Bud Mishra Paul Pedersen Marie-Françoise Roy NC Algorithms for Real Algebraic Numbers. 79-98 1992 3 Appl. Algebra Eng. Commun. Comput. db/journals/aaecc/aaecc3.html#CuckerLMPR92