S. Ait-aoudia, R. Jegou, and D. Michelucci, Reduction of Constraint Systems, Compugraphics, pp.83-92, 1993.
URL : https://hal.archives-ouvertes.fr/hal-00848677

E. L. Allgower and K. Georg, Continuation and path following, Acta Numerica, vol.26, p.64, 1993.
DOI : 10.1007/BF01390054

W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige, Geometric constraint solver, Computer-Aided Design, vol.27, issue.6, 1993.
DOI : 10.1016/0010-4485(94)00013-4

. Borning, The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems, vol.3, issue.4, pp.353-387, 1981.
DOI : 10.1145/357146.357147

B. Bruderlin, Constructing three-dimensional geometric objects defined by constraints, Proceedings of the 1986 workshop on Interactive 3D graphics , SI3D '86, pp.111-129, 1986.
DOI : 10.1145/319120.319130

M. Buthion, Un Programme Qui Résout Formellement Des Problèmes de Constructions Géométriques, RAIRO Infomzatique, vol.3, issue.4, pp.353-387, 1979.

S. C. Chou, W. F. Schelter, and J. G. Yang, Characteristic Sets and Gr??bner Bases in Geometry Theorem Proving, pp.29-56, 1987.
DOI : 10.1016/B978-0-12-046370-1.50008-5

D. P. Dobkin, S. V. Levy, W. P. Thurston, and A. Wills, Contour tracing by piecewise linear approximations, ACM Transactions on Graphics, vol.9, issue.4, p.389423, 1990.
DOI : 10.1145/88560.88575

L. W. Ericson and C. K. Yap, The design of LINETOOL, a geometric editor, Proceedings of the fourth annual symposium on Computational geometry , SCG '88, pp.83-92, 1988.
DOI : 10.1145/73393.73403

B. Hendrickson, Conditions for Unique Realizations, SIAM 1.Computing, pp.65-84, 1992.

C. M. Hoffmann, A dimensionality paradigm for surface interrogations, Computer Aided Geometric Design, vol.7, issue.6, pp.517-532, 1990.
DOI : 10.1016/0167-8396(90)90013-H

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

D. Lazard, Systems of algebraic equations, 1992.
DOI : 10.1007/3-540-09519-5_62
URL : https://hal.archives-ouvertes.fr/inria-00100674

T. Li and X. Wang, Solving real polynomial systems with real homotopies, Mathematics of Computation, vol.60, issue.202, p.pp
DOI : 10.1090/S0025-5718-1993-1160275-5

R. Light, V. Lin, and D. C. Gossard, Variational Geometry in CAD, Computer Graphics, vol.15, issue.3, pp.171-177, 1981.

A. P. Morgan, Solving Polynomial Systems Using Continuation for Scientific and Engineering Problems, 1983.
DOI : 10.1137/1.9780898719031

A. P. Morgan, A transformation to avoid solutions at infinity for polynomial systems, Applied Mathematics and Computation, vol.18, issue.1
DOI : 10.1016/0096-3003(86)90029-9

G. Nelson, Juno, a Constraint-Based Graphic System, Roc. ACM Siggraph Conf, 1985.

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, p.397407, 1991.
DOI : 10.1145/112515.112573

N. M. Patrikalakis, Surface-to-surface intersections, IEEE Computer Graphics and Applications, vol.13, issue.1, pp.89-95, 1992.
DOI : 10.1109/38.180122

H. O. Peitgen and P. H. Richter, The Beauty of Fractals, Images of Complex Dynamical Systems, 1986.

P. Schramm, Schnittprobleme parametrisierter Fl??chen im CAGD, Computing, vol.8, issue.3-4, pp.355-364, 1994.
DOI : 10.1007/BF02307385

I. E. Sutherland, Sketchpad a man-machine graphical communication system, Papers on Twenty-five years of electronic design automation , 25 years of DAC, pp.329-346, 1963.
DOI : 10.1145/62882.62943

. Verroust, Etudes de problèmes liés à la définition, la visualisation et l'animation d'objets complexes en informatique graphique, 1990.

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

J. Verschelde, P. Verlinden, and K. Cools, Homotopies Exploiting Newton Polytopes for Solving Sparse Polynomial Systems, SIAM Journal on Numerical Analysis, vol.31, issue.3, 1993.
DOI : 10.1137/0731049

C. W. Wampler, A. P. Morgan, and A. J. Sommese, Numerical Continuation Methods for Solving Polynomial Systems Arising in Kinematics, Journal of Mechanical Design, vol.112, issue.1, pp.59-68, 1990.
DOI : 10.1115/1.2912579

F. Wmkler, Algorithms in Polynomial Ideal Theory and Geometry, Second Austrian-Hungarzan lnformatzcs Conf , Retzhof Austria, 1988.

J. C. Yakoubsohn, An Universal Constant for the Convergence to the Newton Method and Application to the Classical Hornotopy Method, Numerical Algorithms, 1995.