A. M. Bibliographie and C. J. , Variations of geometries based on a geometric-reasoning method, Affine Arithmetic », Inter- val'94, pp.117-126, 1988.

B. C. Neveu-b and . Trombettoni-g, « Using Graph Decomposition for Solving Continuous CSPs, Proc. of Constraint Programming, CP'98, pp.102-116, 1998.

. C. Bliek, . Spellucci-p, N. A. Vincente-l, . Granvilliers-l, . Huens-e et al., Algorithms for Solving Nonlinear Constrained and Optimisation Problems : State of the Art, A 222 page progress report of the COCONUT project, 2001.

D. Mathis-p and . Schreck-p, « Geometric construction by assembling solved subfigures, Artificial Intelligence Journal, vol.99, issue.1, pp.73-119, 1998.

D. L. Figueiredo and S. J. , Adaptive Enumeration of Implicit Surfaces with Affine Arithmetic, Proc. Eurographics Workshop on Implicit Surfaces, pp.161-170, 1995.
DOI : 10.1111/1467-8659.1550287

F. I. Hoffmann-c, « A Graph-Constructive Approach to Solving Systems of Geometric Constraints, ACM Transactions on Graphics, vol.16, pp.2-179, 1997.

Z. Gao-x.-s, Geometric Constraint Solving Based on Connectivity of Graph, Rapport n°22, Academia Sinica, 2003.

. J. Graver, Counting on Frameworks : Mathematics to Aid the Design of Rigid Structures, 2002.

L. A. Hoffmann-c and . Sitharam-m, Decomposition of Geometric Constraints Part I : performance measures & Part II : new algorithms, J. of Symbolic Computation, vol.31, p.4, 2001.

H. C. Brüderlin-b, « A Degree-of-Freedom Graph Approach », Geometric Modeling : Theory And Practice, pp.132-155, 1997.

C. Jermann, . Trombettoni-g, . Neveu-b, and . Mathis-p, « Decomposition of Geometric Constraint Systems : a Survey », International journal of computational geometryc and applications ? special issue on geometric constraints, 2006.

]. A. Soto-riera, . S. Vila-marta, and . J. Vilaplana-pasto, « Revisiting decomposition analysis of geometric constraint graphs, Computer Aided Design, vol.36, pp.123-140, 2004.

. Kea and . R. Kearfott, Rigorous Global Search : Continuous Problems, 1996.

M. H. Lam-98-]-lamure, « Qualitative study of geometric constraints », Geometric Constraint Solving and Applications, pp.234-258, 1998.

M. R. Shou-h, . Voiculescu-i, and W. G. Bowyer-a, « Comparison of interval methods for plotting algebraic curves, Comput. Aided Geom. Des, vol.19, issue.7, pp.553-587, 2002.

. Mic and F. D. Michelucci, « Interval based tracing of strange attractors, International Journal of Computational Geometry and Applications, vol.16, pp.1-27, 2006.

. Mic and F. D. Michelucci, « The Witness Configuration Method, Computer Aided Design, vol.38, issue.4, pp.284-299, 2006.

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

S. E. Schreck-p, « Solving geometric constraints invariant modulo the similarity group, Proceedings of the 2002 International Conference on Computational Science and its Applications Part II, pp.356-365, 2003.

. P. Schreck and . Mathis-p, GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH, International Journal of Computational Geometry & Applications, vol.16, issue.05n06, 2006.
DOI : 10.1142/S0218195906002129

. P. Schreck and . Schramm-e, Using invariance under the similarity group to solve geometric constraint systems, Computer-Aided Design, vol.38, issue.5, pp.475-484, 2006.
DOI : 10.1016/j.cad.2006.01.002

S. A. Macé-p, « Rapid Algebraic Resolution of 3D Geometric Constraints and Control of their Consistency, Proceedings of the 4th International Workshop on Automated Deduction in Geometry, 2002.

. N. Stolte and . Kaufman-a, Novel Techniques for Robust Voxelization and Visualization of Implicit Surfaces, Graphical Models, vol.63, issue.6, pp.387-412, 2001.
DOI : 10.1006/gmod.2001.0559

. I. Sutherland, Sketchpad, Proceedings of the May 21-23, 1963, spring joint computer conference on, AFIPS '63 (Spring), 1963.
DOI : 10.1145/1461551.1461591

G. Trombettoni, «. Wilczkowiak-m, and . Gpdof, a Fast Algorithm to Decompose Under-constrained Geometric Constraints : Application to 3D Model Reconstruction, Int. Journal of Computational Geometry and Applications (IJCGA), vol.16, pp.submit- ted, 2006.

V. A. Schonek-f and . Roller-d, « Rule Oriented Method for Parametrized Computer Aided Design, Computer Aided Design, vol.24, pp.6-531, 1992.