C. Burnikel, R. Fleischer, K. Mehlhorn, and S. Schirra, Exact geometric computation made easy, Proc. 15th ACM Symp. Comp. Geom, pp.341-450, 1999.
DOI : 10.1145/304893.304988
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.865

C. Burnikel, R. Fleischer, K. Mehlhorn, and S. Schirra, A Strong and Easily Computable Separation Bound for Arithmetic Expressions Involving Radicals, Algorithmica, vol.27, issue.1, pp.87-99, 2000.
DOI : 10.1007/s004530010005

C. Burnikel, S. Funke, K. Mehlhorn, S. Schirra, and S. Schmitt, A Separation Bound for Real Algebraic Expressions, 9th ESA, pp.254-265, 2001.
DOI : 10.1007/3-540-44676-1_21

V. Karamcheti, C. Li, I. Pechtchanski, and C. Yap, A Core library for robust numerical and geometric libraries, Proc. 15th ACM Symp. Comp. Geom, pp.351-359, 1999.

L. Homepage, URL http://www.mpi-sb.mpg, Library of Efficient Data Structures and Algorithms (LEDA) Project. From the Max Planck Institute of Computer Science, 1994.

C. Li, Exact Geometric Computation: Theory and Applications, 2001.

C. Li and C. Yap, A new constructive root bound for algebraic expressions, Proc. 12th ACM-SIAM Symp. on Discrete Algorithms, pp.496-505, 2001.

M. Marden, The Geometry of Zeros of a Polynomial in a Complex Variable, Math. Surveys. American Math. Soc, 1949.

M. Mignotte, Identification of algebraic numbers, Journal of Algorithms, vol.3, issue.3, pp.197-204, 1982.
DOI : 10.1016/0196-6774(82)90019-0

G. Rota, Finite Operator Calculus, 1975.

E. R. Scheinerman, When Close Enough is Close Enough, The American Mathematical Monthly, vol.107, issue.6, pp.489-499, 2000.
DOI : 10.2307/2589344

S. Schmitt, Improved separation bounds for the diamond operator, ECG Project (Effective Computational Geometry for Curves and Surfaces)

I. Sophia-antipolis, (13 pages) ftp-sop.inria.fr/prisme, 2004.

H. Sekigawa, Using interval computation with the Mahler measure for zero determination of algebraic numbers, Josai Information Sciences Researches, vol.9, issue.1, pp.83-99, 1998.

C. K. Yap, Fundamental Problems of Algorithmic Algebra, 2000.

C. K. Yap, ON GUARANTEED ACCURACY COMPUTATION, Geometric Computation, 2004.
DOI : 10.1142/9789812794833_0012

C. K. Yap and T. Dubé, THE EXACT COMPUTATION PARADIGM, Computing in Euclidean Geometry, pp.452-486, 1995.
DOI : 10.1142/9789812831699_0011