B. Brüderlin and D. Roller, Geometric constraint solving and applications, 1998.
DOI : 10.1007/978-3-642-58898-3

C. Hoffmann and R. Joan-arinyo, A Brief on Constraint Solving, Computer-Aided Design and Applications, vol.4, issue.10, pp.655-663, 2005.
DOI : 10.1080/16864360.2005.10738330

C. Hoffmann, Summary of basic 2D constraint solving, International Journal of Product Lifecycle Management, vol.1, issue.2, pp.143-149, 2006.
DOI : 10.1504/IJPLM.2006.008674

B. Bettig and C. Hoffmann, Geometric Constraint Solving in Parametric Computer-Aided Design, Journal of Computing and Information Science in Engineering, vol.11, issue.2, p.21001, 2011.
DOI : 10.1115/1.3593408

C. Jermann, G. Trombettoni, B. Neveu, and P. Mathis, DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY, International Journal of Computational Geometry & Applications, vol.16, issue.05n06, pp.379-414, 2006.
DOI : 10.1142/S0218195906002105
URL : https://hal.archives-ouvertes.fr/hal-00481267

L. Garnier, H. Barki, S. Foufou, and L. Puech, Computation of Yvon-Villarceau circles on Dupin cyclides and construction of circular edge right triangles on tori and Dupin cyclides, Computers & Mathematics with Applications, vol.68, issue.12, pp.1689-1709, 2014.
DOI : 10.1016/j.camwa.2014.10.020

L. Garnier, H. Barki, and S. Foufou, Dupin cyclide blends between non-natural quadrics of revolution and concrete shape modeling applications, Computers & Graphics, vol.42, issue.0, pp.31-41, 2014.
DOI : 10.1016/j.cag.2014.04.002

X. Gao, C. Hoffmann, and W. Yang, Solving spatial basic geometric constraint configurations with locus intersection, Computer-Aided Design, vol.36, issue.2, pp.111-122, 2004.
DOI : 10.1016/S0010-4485(03)00056-3

S. Ait-aoudia, R. Jegou, and D. Michelucci, Reduction of constraint systems, COMPUGRAPHICS, pp.331-340, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00848677

A. Fabre and P. Schreck, Combining symbolic and numerical solvers to simplify indecomposable systems solving, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1838-1842, 2008.
DOI : 10.1145/1363686.1364128

R. Imbach, P. Mathis, and P. Schreck, Tracking Method for Reparametrized Geometrical Constraint Systems, 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp.31-38, 2011.
DOI : 10.1109/SYNASC.2011.26

P. Mathis, P. Schreck, and R. Imbach, Decomposition of geometrical constraint systems with reparameterization, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.102-108, 2012.
DOI : 10.1145/2245276.2245298

C. Durand, Symbolic and numerical techniques for constraint solving, 1998.

R. Imbach, Résolution de contraintes géométriques en guidant une méthode homotopique par la géométrie, 2013.

L. Lovász and M. Plummer, Matching theory, North-Holland Mathematics Studies, 1986.

A. Schrijver, Combinatorial optimization: Polyhedra and efficiency, 2003.

T. Cormen, C. Leiserson, R. Rivest, and C. Stein, Introduction to algorithms, 2009.

M. Bomhoff, Bipartite graphs and the decomposition of systems of equations, 2013.

]. H. Cohen, Explicit methods for solving Diophantine equations, online lecture, 2006.

R. Stroeker and N. Tzanakis, On the application of Skolem's p-adic method to the solution of Thue equations, Journal of Number Theory, vol.29, issue.2, pp.166-195, 1988.
DOI : 10.1016/0022-314X(88)90098-4

J. Box, An introduction to Skolem's p-adic method for solving Diophantine equations, Bachelor thesis, Korteweg-de Vries Instituut voor Wiskunde Faculteit der Natuurwetenschappen, 2014.

T. Skolem, S. Chowla, and D. Lewis, The Diophantine Equation 2 n+2 - 7 = x 2 and Related Problems, Proceedings of the American Mathematical Society, vol.10, issue.5, pp.663-669, 1959.
DOI : 10.2307/2033452

A. Galligo, Factorisation absolue de polynômespolynômes`polynômesà plusieurs variables, Lecons de mathématiques d'aujourd'hui, pp.85-105, 2010.

H. Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol.138, 1993.
DOI : 10.1007/978-3-662-02945-9

J. Faugère, A new efficient algorithm for computing Gröbner bases (F 4 ), Journal of pure and applied algebra, vol.139, pp.1-3, 1999.

C. , A. , and A. C++, Algorithms Library of Interval Analysis for equation Systems, version 2.7, http://www-sop.inria.fr/ coprin, ALIAS-C++/ALIAS-C++.html, 2012.

L. Granvilliers and F. Benhamou, Algorithm 852, ACM Transactions on Mathematical Software, vol.32, issue.1, pp.138-156, 2006.
DOI : 10.1145/1132973.1132980
URL : https://hal.archives-ouvertes.fr/hal-00480813

G. Chabert, IBEX 2.1.7 documentation, 2014.

G. Chabert, L. Jaulin, and . Quimper, A language for Quick Interval Modeling and Programming in a Bounded-Error Context. User guide, 2011.

J. Merlet, ALIAS: an interval analysis based library for solving and analyzing system of equations, pp.14-16, 2000.

G. Trombettoni, Résolution de systèmes d'´ equations : l'essor de la programmation par contraintes sur intervalles, 2009.

R. Moore, R. Kearfott, and M. Cloud, Introduction to Interval Analysis, Society for Industrial and Applied Mathematics, 2009.
DOI : 10.1137/1.9780898717716

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied interval analysis: with examples in parameter and state estimation, robust control and robotics, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

P. Ciarlet and C. Mardare, ON THE NEWTON???KANTOROVICH THEOREM, Analysis and Applications, vol.10, issue.03, pp.249-269, 2012.
DOI : 10.1142/S0219530512500121
URL : https://hal.archives-ouvertes.fr/hal-01077282

A. Neumaier, The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions, Validation Numerics, vol.9, pp.175-190, 1993.
DOI : 10.1007/978-3-7091-6918-6_14

H. Barki, J. Cane, L. Garnier, D. Michelucci, and S. Foufou, Solving the pentahedron problem, Computer-Aided Design, vol.58, issue.0, pp.200-209, 2014.
DOI : 10.1016/j.cad.2014.08.027
URL : https://hal.archives-ouvertes.fr/hal-01205758

H. Barki, J. Cane, D. Michelucci, and S. Foufou, New Geometric Constraint Solving Formulation: Application to the 3D Pentahedron, Image and Signal Processing -6th International Conference. Proceedings, pp.594-601, 2014.
DOI : 10.1007/978-3-319-07998-1_68

D. Michelucci and S. Foufou, Using Cayley-Menger determinants for geometric constraint solving, Proceedings of the ninth ACM symposium on Solid modeling and applications, pp.285-290, 2004.

S. Foufou and D. Michelucci, The Bernstein basis and its applications in solving geometric constraint systems, Reliable Computing, vol.17, issue.2, pp.192-208, 2012.

C. Fünfzig, D. Michelucci, and S. Foufou, Nonlinear systems solver in floating-point arithmetic using LP reduction, 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling on, SPM '09, pp.123-134, 2009.
DOI : 10.1145/1629255.1629271

D. Michelucci and S. Foufou, Interrogating witnesses for geometric constraint solving, 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling on, SPM '09, pp.343-348, 2009.
DOI : 10.1145/1629255.1629301
URL : https://hal.archives-ouvertes.fr/hal-00784001

S. Foufou and D. Michelucci, Interrogating witnesses for geometric constraint solving, Information and Computation, vol.216, issue.0, pp.24-38, 2012.
DOI : 10.1016/j.ic.2011.09.006
URL : https://hal.archives-ouvertes.fr/hal-00784001

D. Michelucci, P. Schreck, S. Thierry, C. Fünfzig, and J. Génevaux, Using the witness method to detect rigid subsystems of geometric constraints in CAD, Proceedings of the 14th ACM Symposium on Solid and Physical Modeling, SPM '10, pp.91-100, 2010.
DOI : 10.1145/1839778.1839791
URL : https://hal.archives-ouvertes.fr/hal-00691703

A. Kubicki, D. Michelucci, and S. Foufou, Witness computation for solving geometric constraint systems, 2014 Science and Information Conference, pp.759-770
DOI : 10.1109/SAI.2014.6918272
URL : https://hal.archives-ouvertes.fr/hal-01205759