Ioannis Z. Emiris Bernard Mourrain Elias P. Tsigaridas Real Algebraic Numbers: Complexity Analysis and Experimentation. 57-82 2008 Reliable Implementation of Real Number Algorithms http://dx.doi.org/10.1007/978-3-540-85521-7_4 conf/dagstuhl/2008real db/conf/dagstuhl/real2008.html#EmirisMT08