I. I. Fiores, Character preservation and modelling in aesthetic and engineering design, 2000.

, Advanced and Innovative Models and Tools for the Development of Semantic-Based Systems for Handling, Acquiring, and Processing Knowledge Embedded in Multi-Dimensional Digital Objects. European Network of Excellence Key Action: 2.3.1.7. Semantic-based Knowledge Systems, Aim@Shape: Engineering Design Methods: Strategies Design Product, 2004.

S. Ait-aoudia and S. Foufou, A 2d geometric constraint solver using a graph reduction method, Adv. Eng. Softw, vol.41, pp.1187-1194, 2010.

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

M. Bierlaire, Optimization: Principles and Algorithms, 2015.

. Blender and . Org, Blender for Open source 3D Creation

J. F. Bonnans, J. C. Gilbert, C. Lemaréchal, and C. A. Sagastizábal, Numerical optimization: theoretical and practical aspects, 2006.

C. Bouchard, A. Aoussat, and R. Duchamp, Role of sketching in conceptual design of car styling, Journal of Design Research, vol.5, issue.1, pp.116-148, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00915137

C. Büskens and D. Wassel, The ESA NLP Solver WORHP, Modeling and Optimization in Space Engineering, vol.73, pp.85-110, 2013.

R. H. Byrd, P. Lu, J. Nocedal, and C. Zhu, A limited memory algorithm for bound constrained optimization, SIAM J. Sci. Comput, vol.16, pp.1190-1208, 1994.

J. D. Camba, M. Contero, and P. Company, Parametric cad modeling: an analysis of strategies for design reusability, Comput. Aided Des, vol.74, pp.18-31, 2016.

V. Cheutet, M. Daniel, S. Hahmann, R. La-gréca, J. C. Léon et al., Constraint modeling for curves and surfaces in CAGD: a survey, Int. J. Shape Model, vol.13, issue.2, pp.159-199, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01288296

M. Contero, P. Company, C. Vila, and N. Aleixos, Product data quality and collaborative engineering, IEEE Comput. Graph. Appl, vol.22, pp.32-42, 2002.

N. Cross, Engineering Design Methods: Strategies for Design Product, 2000.

F. Danglade, J. P. Pernot, and P. Véron, On the use of machine learning to defeature CAD models for simulation, Comput.-Aided Des. Applic, vol.11, issue.3, pp.358-368, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01015339

D. Decriteau, J. P. Pernot, and M. Daniel, Towards declarative CAD modeler built on top of a CAD modeler, Proceedings of CAD'15, pp.107-112, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01311426

J. F. Dufourd, P. Mathis, and P. Schreck, Formal resolution of geometrical constraint systems by assembling, Proceedings of the Fourth ACM Symposium on Solid Modeling and Applications, pp.271-284, 1997.

J. F. Dufourd, P. Mathis, and P. Schreck, Geometric construction by assembling solved subfigures, Artif. Intell, vol.99, issue.1, pp.73-119, 1998.

G. Elber and M. S. Kim, Geometric constraint solver using multivariate rational spline functions, Proceedings of the Sixth ACM Symposium on Solid Modeling and Applications, pp.1-10, 2001.

C. Essert-villard, P. Schreck, and J. F. Dufourd, Sketch-based pruning of a solution space within a formal geometric constraint solver, Artif. Intell, vol.124, issue.1, pp.139-159, 2000.

E. Catalano, C. Falcidieno, B. Giannini, F. Monti, and M. , A survey of computer-aided modeling tools for aesthetic design, J. Comput. Inf. Sci. Eng, vol.2, pp.11-20, 2002.

B. Falcidieno, F. Giannini, J. Léon, and J. Pernot, Processing free form objects within a Product Development Process framework, Advances in Computers and Information in Engineering Research, vol.1, pp.317-344, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00922950

I. Fischer, Dual-Number Methods in Kinematics, Statics and Dynamics. Routledge, 2017.

S. Foufou and D. Michelucci, Bernstein basis and its application in solving geometric constraint systems, Journal of Reliable Computing, vol.17, pp.192-208, 2012.

S. Foufou and D. Michelucci, FreeCAD: FreeCAD: An open-source parametric 3D CAD modeler, Special Issue: 8th Conference on Real Numbers and Computers 26, vol.216, pp.24-38, 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, SPM'09, pp.123-134, 2009.

J. X. Ge, S. C. Chou, and X. S. Gao, Geometric constraint satisfaction using optimization methods, Comput.-Aided Des, vol.31, issue.14, pp.867-879, 1999.

. Geogebra and . Org, GeoGebra: Dynamic Mathematics for Learning and Teaching

F. Giannini, E. Montani, M. Monti, and J. P. Pernot, Semantic evaluation and deformation of curves based on aesthetic criteria, Comput.-Aided Des. Applic, vol.8, issue.3, pp.449-464, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01404152

G. Gouaty, L. Fang, D. Michelucci, M. Daniel, J. P. Pernot et al., Variational geometric modeling with black box constraints and DAGs, Comput. Aided Des, vol.75, pp.1-12, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01281351

B. Hendrickson, Conditions for unique graph realizations, SIAM J. Comput, vol.21, issue.1, pp.65-84, 1992.

C. M. Hoffmann, Geometric and Solid Modeling: an Introduction, 1989.

C. M. Hoffmann and R. Joan-arinyo, Symbolic constraints in constructive geometric constraint solving, J. Symb. Comput, vol.23, issue.2-3, pp.287-299, 1997.

C. M. Hoffmann, A. Lomonosov, and M. Sitharam, Geometric constraint decomposition, Geometric Constraint Solving and Applications, pp.170-195, 1998.

H. Hu, M. Kleiner, and J. P. Pernot, Over-constraints detection and resolution in geometric equation systems, Comput. Aided Des, vol.90, pp.84-94, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02297685

L. Jaulin, M. Kieffer, O. Didrit, and É. Walter, Interval Analysis, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00746058

C. Jermann, G. Trombettoni, B. Neveu, and P. Mathis, Decomposition of geometric constraint systems: a survey, Int. J. Comput. Geom. Appl, vol.16, issue.05n06, pp.379-414, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00481267

R. Joan-arinyo and A. Soto-riera, Combining constructive and equational geometric constraint-solving techniques, ACM Trans. Graph. (TOG), vol.18, issue.1, pp.35-55, 1999.

M. Khorramizadeh, An application of the Dulmage-Mendelsohn decomposition to sparse null space bases of full row rank matrices, International Mathematical Forum, vol.52, pp.2549-2554, 2012.

K. Kondo, Algebraic method for manipulation of dimensional relationships in geometric models, Comput. Aided Des, vol.24, issue.3, pp.141-147, 1992.

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

D. Lesage, J. C. Léon, P. Sebah, and A. Rivière, A proposal of structure for a variational modeler based on functional specifications, Recent Advances in Integrated Design and Manufacturing in Mechanical Engineering, pp.73-84, 2003.

Z. Li, F. Giannini, J. P. Pernot, P. Véron, and B. Falcidieno, Re-using heterogeneous data for the conceptual design of shapes in virtual environments, Virtual Reality, vol.21, issue.3, pp.127-144, 2017.

T. Linke, D. Wassel, and C. Büskens, Recent advances in the solution of large nonlinear optimisation, pp.141-146, 2014.

L. Lovász and M. D. Plummer, Matching Theory, pp.13-9780821847596, 2009.

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

M. Moinet, G. Mandil, and P. Serre, Defining tools to address over-constrained geometric problems in computer aided design, Comput. Aided Des, vol.48, pp.42-52, 2014.

B. Mourrain and J. P. Pavone, Subdivision methods for solving polynomial equations, J. Symb. Comput, vol.44, issue.3, pp.292-306, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070350

J. C. Owen, Algebraic solution for geometry from dimensional constraints, Proceedings of the First ACM Symposium on Solid modeling Foundations and CAD/CAM Applications, pp.397-407, 1991.

J. P. Pernot, B. Falcidieno, F. Giannini, and J. C. Léon, A hybrid models deformation tool for free-form shapes manipulation, 34Th Design Automation Conference (ASME DETC08-DAC 49524), pp.647-657, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00401525

J. P. Pernot, B. Falcidieno, F. Giannini, and J. C. Léon, Incorporating free-form features in aesthetic and engineering product design: state-of-the-art report, Comput. Ind, vol.59, issue.6, pp.626-637, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01403250

J. F. Rameau and P. Serré, Computing mobility condition using Groebner basis, Mech. Mach. Theory, vol.91, pp.21-38, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01563778

R. Rao, Jaya: a simple and new optimization algorithm for solving constrained and unconstrained optimization problems, Int. J. Ind. Eng. Comput, vol.7, issue.1, pp.19-34, 2016.

Y. Saad, Iterative methods for sparse linear systems, SIAM, 2003.

P. Schreck and P. Mathis, Geometrical constraint system decomposition: a multi-group approach, Int. J. Comput. Geom. Appl, vol.16, issue.05n06, pp.431-442, 2006.

P. Schreck and É. Schramm, Using invariance under the similarity group to solve geometric constraint systems, Comput. Aided Des, vol.38, issue.5, pp.475-484, 2006.

D. Serrano, Automatic dimensioning in design for manufacturing, Proceedings of the First ACM Symposium on Solid Modeling Foundations and CAD/CAM Applications, SMA '91, pp.379-386

C. Solomon, S. J. Gibson, and M. I. Maylin, A new computational methodology for the construction of forensic, facial composites, Proceedings of the 3rd IWCF, vol.5718, pp.67-77, 2009.

A. J. Sommese, C. W. Wampler, and . Ii, The Numerical Solution of Systems of Polynomials Arising in Engineering and Science, 2005.

M. Stiteler, Construction History and Parametrics: Improving Affordability through Intelligent CAD Data Exchange. Chaps program final report, 2004.

S. E. Thierry, P. Schreck, D. Michelucci, C. Fünfzig, and J. D. Génevaux, Extensions of the witness method to characterize under-, over-and well-constrained geometric constraint systems, Comput. Aided Des, vol.43, issue.10, pp.1234-1249, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00691690

M. Tovey, Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF (www.tcpdf.org) Powered by TCPDF, Des. Stud, vol.13, issue.1, pp.23-41, 1992.