S. Ait-aoudia, Modélisation géométrique par contraintes: quelques méthodes de résolution. Ecole Nationale Supérieure des Mines de Saint-Etienne, 1994.

S. Ait-aoudia and S. Foufou, A 2D geometric constraint solver using a graph reduction method Advances in Engineering Software, pp.41-1187, 2010.

S. Ait-aoudia, B. Hamid, A. Moussaoui, and T. Saadi, Solving geometric constraints by a graph-constructive approach, 1999 IEEE International Conference on Information Visualization (Cat. No. PR00210), pp.250-255, 1999.
DOI : 10.1109/IV.1999.781567

S. Ait-aoudia, R. Jegou, and D. Michelucci, Reduction of constraint systems, Compugraphics. Algarve, Portugal, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00848677

W. Bouma, I. Fudos, C. Hoffmann, and R. Paige, Geometric constraint solver, Computer-Aided Design, vol.27, issue.6, pp.487-501, 1995.
DOI : 10.1016/0010-4485(94)00013-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7773

J. Carrega, Théorie des corps, la règle et le compas, 2001.

Y. Cheng, Z. L. Ni, and X. Liu, An intelligent approach for dimensioning completeness inspection in 3D based on transient geometric elements, Computer-Aided Design, vol.53, pp.14-27, 2014.
DOI : 10.1016/j.cad.2014.03.004

I. Fudos and C. Hoffman, 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 and S. Chou, Solving geometric constraint systems. II. A symbolic approach and decision of Rc-constructibility, Computer-Aided Design, vol.30, issue.2, pp.115-122, 1998.
DOI : 10.1016/S0010-4485(97)00055-9

X. Gao, C. Zhang, and . Lu, 2D Geometric Constraint Optimum Solving Based on Problem Decomposition, International Journal of Hybrid Information Technology, vol.8, issue.1, 2015.
DOI : 10.14257/ijhit.2015.8.1.31
URL : http://doi.org/10.14257/ijhit.2015.8.1.31

C. Hoffman, L. Andrew, and S. Meera, Decomposition Plans for Geometric Constraint Problems, Part II: New Algorithms, Journal of Symbolic Computation, vol.31, issue.4, pp.409-427, 2001.
DOI : 10.1006/jsco.2000.0403

G. Laman, On graphs and rigidity of plane skeletal structures, Journal of Engineering Mathematics, vol.4, issue.4, pp.331-340, 1970.
DOI : 10.1007/BF01534980

H. Lamure and D. Michelucci, Solving geometric constraints by homotopy, Proceedings of the third ACM symposium on Solid modeling and applications, pp.263-269, 1995.
DOI : 10.1145/218013.218071
URL : https://hal.archives-ouvertes.fr/hal-01246071

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

K. Lee, O. Kwon, J. Lee, and T. Kim, A hybrid approach to geometric constraint solving with graph analysis and reduction, Advances in Engineering Software, vol.34, issue.2, pp.103-113, 2003.
DOI : 10.1016/S0965-9978(02)00108-4

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

A. Moussaoui and S. Ait-aoudia, Generator of 2D Geometric Constraint Graphs, Computer-Aided Design and Applications, vol.11, issue.3, pp.271-280, 2016.
DOI : 10.1016/j.adhoc.2011.06.016

A. Moussaoui and S. Ait-aoudia, Some irreducible Laman graphs, 2016.

J. C. Owen, Algebraic solution for geometry from dimensional constraints, Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications , SMA '91, 1991.
DOI : 10.1145/112515.112573

J. Owen and S. Power, The non-solvability by radicals of generic 3-connected planar Laman graphs. Transactions of the, pp.2269-2303, 2007.

P. Schreck and P. Mathis, Automatic Constructibility Checking of a Corpus of Geometric Construction Problems, Mathematics in Computer Science, vol.55, issue.1, pp.41-56, 2016.
DOI : 10.1007/s11786-016-0247-3