Marie-Françoise Roy A. Szpirglas Complexity of the Computation on Real Algebraic Numbers. 39-52 1990 10 J. Symb. Comput. 1 db/journals/jsc/jsc10.html#RoyS90