B. Brüderlin, Using geometric rewrite rules for solving geometric problems symbolically, Theoretical Computer Science, vol.116, issue.2, pp.291-303, 1993.
DOI : 10.1016/0304-3975(93)90324-M

S. Chou, Mechanical geometry theorem proving, 1988.
DOI : 10.1007/978-94-009-4037-6

B. Dasgupta and T. Mruthyunjaya, The Stewart platform manipulator: a review, Mechanism and Machine Theory, vol.35, issue.1, pp.15-40, 2000.
DOI : 10.1016/S0094-114X(99)00006-3

J. Dufourd, P. Mathis, and P. Schreck, Geometric construction by assembling solved subfigures, Artificial Intelligence, vol.99, issue.1, pp.73-119, 1998.
DOI : 10.1016/S0004-3702(97)00070-2

C. Durand, C. Hoffmann, and A. Systematic, A Systematic Framework for Solving Geometric Constraints Analytically, Journal of Symbolic Computation, vol.30, issue.5, pp.493-529, 2000.
DOI : 10.1006/jsco.2000.0392

I. Fudos and C. Hoffmann, A graph-constructive approach to solving systems of geometric constraints, ACM Transactions on Graphics, vol.16, issue.2, pp.179-216, 1997.
DOI : 10.1145/248210.248223

X. Gao, C. Hoffmann, and W. Yang, Solving spatial basic geometric constraint configurations with locus intersection, Proceedings of the seventh ACM symposium on Solid modeling and applications , SMA '02, pp.111-133, 2004.
DOI : 10.1145/566282.566299

X. Gao, L. Huang, and K. Jiang, A hybrid method for solving geometric constraint problems Automated deduction in geometry, pp.16-25, 2001.

X. Gao, D. Lei, Q. Liao, and G. Zhang, Generalized Stewart?Gough platforms and their direct kinematics, IEEE Trans Robot, vol.21, issue.2, pp.141-51, 2005.

X. Gao and G. Zhang, Classification and solving of merge patterns in geometric constraint solving. Proceedings of shape modeling and applications, pp.89-90, 2003.

X. Gao and G. Zhang, Geometric constraint solving via C-tree decomposition, Proceedings of the eighth ACM symposium on Solid modeling and applications , SM '03, pp.45-55, 2003.
DOI : 10.1145/781606.781617

J. Ge, S. Chou, and X. Gao, Geometric constraint satisfaction using optimization methods, Computer-Aided Design, vol.31, issue.14, pp.867-79, 2000.
DOI : 10.1016/S0010-4485(99)00074-3

C. Hoffmann and C. Chiang, Variable-radius circles of cluster merging in geometric constraints, Computer-Aided Design, vol.34, issue.11, pp.787-97, 2002.
DOI : 10.1016/S0010-4485(01)00139-7

C. Hoffmann, A. Lomonosov, and M. Sitharam, Finding solvable subsets of constraint graphs, LNCS, No, pp.163-97, 1330.
DOI : 10.1007/BFb0017460

C. Hoffmann, A. Lomonosov, M. Sitharam, C. Hoffmann, A. Lomonosov et al., Decomposition plans for geometric constraint systems. I. Performance measures for CAD Decomposition plans for geometric constraint systems. II. New algorithms, J Symbolic Comput J Symbolic Comput, vol.3131, pp.367-408409, 2001.

C. Jermann, B. Neveu, G. Trombettoni, and A. New, Structural rigidity for geometric constraint systems In: Automated deduction in geometry, pp.87-105, 2004.

R. Joan-arinyo, A. Soto, and A. Correct, A correct rule-based geometric constraint solver, Computers & Graphics, vol.21, issue.5, pp.599-609, 1997.
DOI : 10.1016/S0097-8493(97)00038-1

R. Joan-arinyo, A. Soto-riera, S. Vila-marta, and J. Vilaplana-pastó, Revisiting decomposition analysis of geometric constraint graphs, Computer-Aided Design, vol.36, issue.2, pp.123-163, 1992.
DOI : 10.1016/S0010-4485(03)00057-5

R. Joan-arinyo, A. Soto-riera, S. Vila-marta, and J. Vilaplana-pastó, Transforming an under-constrained geometric constraint problem into a well-constrained one, Proceedings of the eighth ACM symposium on Solid modeling and applications , SM '03, pp.33-44, 2003.
DOI : 10.1145/781606.781616

K. Kondo, Algebraic method for manipulation of dimensional relationships in geometric models, Computer-Aided Design, vol.24, issue.3, pp.141-148, 1992.
DOI : 10.1016/0010-4485(92)90033-7

G. Kramer, Solving geometric constraint systems a case study in kinematics, Computer-Aided Design, vol.25, issue.10, 1992.
DOI : 10.1016/0010-4485(93)90025-J

A. Kumar and L. Yu, Sequential constraint imposition for dimension-driven solid models, Computer-Aided Design, vol.33, issue.6, pp.475-86, 2001.
DOI : 10.1016/S0010-4485(00)00098-1

H. Lamure and D. Michelucci, Solving geometric constraints by homotopy, IEEE Transactions on Visualization and Computer Graphics, vol.2, issue.1, pp.28-34, 1996.
DOI : 10.1109/2945.489384
URL : https://hal.archives-ouvertes.fr/hal-01246071

H. Lamure and D. Michelucci, Qualitative study of geometric constraints, in geometric constraint solving and applications, pp.234-58, 1998.

R. Latham and A. Middleditch, Connectivity analysis: a tool for processing geometric constraints, Computer-Aided Design, vol.28, issue.11, pp.917-945, 1996.
DOI : 10.1016/0010-4485(96)00023-1

J. Lee and K. Kim, Geometric reasoning for knowledge-based parametric design using graph representation, Computer-Aided Design, vol.28, issue.10, pp.831-872, 1996.
DOI : 10.1016/0010-4485(96)00016-4

Y. Li, S. Hu, and J. Sun, A constructive approach to solving 3-D geometric constraint systems using dependence analysis, Computer-Aided Design, vol.34, issue.2, pp.97-108, 2002.
DOI : 10.1016/S0010-4485(01)00054-9

V. Lin, D. Gossard, and R. Light, Variational geometry in computer-aided design, ACM SIGGRAPH Computer Graphics, vol.15, issue.3, pp.171-178, 1981.
DOI : 10.1145/965161.806803

J. Owen, Algebraic solution for geometry from dimensional constraints ACM symposium foundation of solid modeling, pp.397-407, 1991.

J. Owen and S. Power, The nonsolvability by radicals of generic 3- connected planar graphs, in automated deduction in geometry, pp.124-155, 2004.

D. Podgorelec and A. New, A new constructive approach to constraint-based geometric design, Computer-Aided Design, vol.34, issue.11, pp.769-85, 2002.
DOI : 10.1016/S0010-4485(01)00133-6

A. Verroust, F. Schonek, and D. Roller, Rule-oriented method for parameterized computer-aided design, Computer-Aided Design, vol.24, issue.10, pp.531-571, 1992.
DOI : 10.1016/0010-4485(92)90040-H
URL : https://hal.archives-ouvertes.fr/hal-01224895