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
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
Fast Multiple-Precision Evaluation of Elementary Functions, Journal of the ACM, vol.23, issue.2, pp.242-251, 1976. ,
DOI : 10.1145/321941.321944
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
A Separation Bound for Real Algebraic Expressions, Algorithmica, vol.107, issue.3, pp.14-28, 2009. ,
DOI : 10.1007/s00453-007-9132-4
A Course in Computational Algebraic Number Theory, 1993. ,
DOI : 10.1007/978-3-662-02945-9
Guaranteed Precision for Transcendental and Algebraic Computation made Easy, 2006. ,
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
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
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
Design Patterns: Elements of Reusable Object-Oriented Software, 1995. ,
A Core library for robust numerical and geometric computation, 15th ACM Symp, pp.351-359, 1999. ,
Exact Geometric Computation: Theory and Applications, 2001. ,
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
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
Identification of algebraic numbers, Journal of Algorithms, vol.3, issue.3, pp.197-204, 1982. ,
DOI : 10.1016/0196-6774(82)90019-0
Elementary Functions: Algorithms and Implementation, 1997. ,
URL : https://hal.archives-ouvertes.fr/ensl-00000008
The iRRAM: Exact Arithmetic in C++, Computability and Complexity in Analysis, pp.222-252 ,
DOI : 10.1007/3-540-45335-0_14
Guest editor's introduction: Practical development of exact real number computation, J. of Logic and Algebraic Programming, vol.64, issue.1, 2004. ,
Interval Methods for Systems of Equations, 1990. ,
DOI : 10.1017/CBO9780511526473
Real/Expr: Implementation of an Exact Computation Package Master's thesis, 1997. ,
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
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
How to Recognize Zero, Journal of Symbolic Computation, vol.24, issue.6, pp.627-645, 1997. ,
DOI : 10.1006/jsco.1997.0157
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
Robustness and precision issues in geometric computation, Handbook of Computational Geometry, 1999. ,
The Design and Evolution of C++, 1994. ,
Computations with effective real numbers, Theoretical Computer Science, vol.351, issue.1, pp.52-60, 2006. ,
DOI : 10.1016/j.tcs.2005.09.060
Core Library Tutorial: a library for robust geometric computation Version 1.1 was released in Version 1 Source and documents from http, 1999. ,
In Praise of Numerical Computation, Efficient Algorithms, pp.308-407, 2009. ,
DOI : 10.1142/9789812831699_0011
Tutorial: Exact numerical computation in algebra and geometry, Proc. 34th Int'l Symp. Symbolic and Algebraic Comp. (ISSAC'09), pp.387-388, 2009. ,
Exact arithmetic solid modeling, 1992. ,