E. Berberich, M. Kerber, and M. Sagraloff, Exact geometric-topological analysis of algebraic surfaces, Proceedings of the twenty-fourth annual symposium on Computational geometry , SCG '08, pp.164-173, 2008.
DOI : 10.1145/1377676.1377703

V. Brattka and P. Hertling, Feasible Real Random Access Machines, Journal of Complexity, vol.14, issue.4, pp.490-526, 1998.
DOI : 10.1006/jcom.1998.0488

URL : http://dx.doi.org/10.1006/jcom.1998.0488

R. P. Brent, Fast Multiple-Precision Evaluation of Elementary Functions, Journal of the ACM, vol.23, issue.2, pp.242-251, 1976.
DOI : 10.1145/321941.321944

H. Brönnimann, C. Burnikel, and S. Pion, Interval arithmetic yields efficient dynamic filters for computational geometry, Discrete Applied Mathematics, vol.109, issue.1-2, pp.25-47, 2001.
DOI : 10.1016/S0166-218X(00)00231-6

C. Burnikel, S. Funke, K. Mehlhorn, S. Schirra, and S. Schmitt, A Separation Bound for Real Algebraic Expressions, Algorithmica, vol.107, issue.3, pp.14-28, 2009.
DOI : 10.1007/s00453-007-9132-4

H. Cohen, A Course in Computational Algebraic Number Theory, 1993.
DOI : 10.1007/978-3-662-02945-9

Z. Du, Guaranteed Precision for Transcendental and Algebraic Computation made Easy, 2006.

Z. Du, M. Eleftheriou, J. Moreira, and C. Yap, Hypergeometric Functions in Exact Geometric Computation, Proc. 5th Workshop on Computability and Complexity in Analysis Electronic Notes in Theoretical Computer Science, pp.55-661, 2002.
DOI : 10.1016/S1571-0661(04)80378-5

A. Fabri, G. Giezeman, L. Kettner, S. Schirra, and S. Schoenherr, The CGAL kernel: A basis for geometric computation, Du, Pion, and Brönnimann Applied Computational Geometry: Towards Geometric Engineering, pp.191-202, 1148.
DOI : 10.1007/BFb0014496

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, p.13, 2007.
DOI : 10.1145/1236463.1236468

URL : https://hal.archives-ouvertes.fr/inria-00070266

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

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

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

C. Li, S. Pion, and C. Yap, Recent progress in exact geometric computation, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.85-111, 2004.
DOI : 10.1016/j.jlap.2004.07.006

URL : https://hal.archives-ouvertes.fr/inria-00344355

L. Lin and C. Yap, Adaptive isotopic approximation of nonsingular curves, Proceedings of the 25th annual symposium on Computational geometry, SCG '09, pp.351-360, 2009.
DOI : 10.1145/1542362.1542423

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

J. Muller, Elementary Functions: Algorithms and Implementation, 1997.
URL : https://hal.archives-ouvertes.fr/ensl-00000008

N. T. Müller, The iRRAM: Exact Arithmetic in C++, Computability and Complexity in Analysis, pp.222-252
DOI : 10.1007/3-540-45335-0_14

N. T. Müller, M. Escardo, and P. Zimmermann, Guest editor's introduction: Practical development of exact real number computation, J. of Logic and Algebraic Programming, vol.64, issue.1, 2004.

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

K. Ouchi, Real/Expr: Implementation of an Exact Computation Package Master's thesis, 1997.

S. Pion and C. Yap, Constructive root bound for k-ary rational input numbers, Theoretical Computer Science, vol.369, issue.1-3, pp.361-376, 2006.
DOI : 10.1016/j.tcs.2006.09.010

URL : https://hal.archives-ouvertes.fr/inria-00348715

S. Plantinga and G. Vegter, Isotopic approximation of implicit curves and surfaces, Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing , SGP '04, pp.245-254, 2004.
DOI : 10.1145/1057432.1057465

D. Richardson, How to Recognize Zero, Journal of Symbolic Computation, vol.24, issue.6, pp.627-645, 1997.
DOI : 10.1006/jsco.1997.0157

D. Richardson, Zero Tests for Constants in Simple Scientific Computation, Inaugural issue on Complexity of Continuous Computation, pp.21-38, 2007.
DOI : 10.1007/s11786-007-0002-x

S. Schirra, Robustness and precision issues in geometric computation, Handbook of Computational Geometry, 1999.

B. Stroustrup, The Design and Evolution of C++, 1994.

J. Van-der-hoeven, Computations with effective real numbers, Theoretical Computer Science, vol.351, issue.1, pp.52-60, 2006.
DOI : 10.1016/j.tcs.2005.09.060

C. Yap, C. Li, S. Pion, Z. Du, and V. Sharma, Core Library Tutorial: a library for robust geometric computation Version 1.1 was released in Version 1 Source and documents from http, 1999.

C. K. Yap, In Praise of Numerical Computation, Efficient Algorithms, pp.308-407, 2009.
DOI : 10.1142/9789812831699_0011

C. K. Yap, Tutorial: Exact numerical computation in algebra and geometry, Proc. 34th Int'l Symp. Symbolic and Algebraic Comp. (ISSAC'09), pp.387-388, 2009.

J. Yu, Exact arithmetic solid modeling, 1992.