W. Auzinger and H. J. Stetter, An Elimination Algorithm for the Computation of All Zeros of a System of Multivariate Polynomial Equations, Proc. Intern. Conf. on Numerical Math, pp.12-30, 1988.
DOI : 10.1007/978-3-0348-6303-2_2

Y. Blinkov, V. Gerdt, and D. Yanovich, Construction of Janet bases (I. monomial bases, II. polynomial bases) Computer Algebra in Scientific Computing, pp.233-263, 2001.

L. Busé, M. Elkadi, and B. Mourrain, Using projection operators in computer aided geometric design, Topics in Algebraic Geometry and Geometric Modeling, pp.321-342, 2003.
DOI : 10.1090/conm/334/05988

E. Cartan, Les systèmes différentiels extérieurs et leurs applications géométriques, 1945.

R. M. Corless, P. M. Gianni, and B. M. Trager, A reordered Schur factorization method for zerodimensional polynomial systems with multiple roots, Proc. ISSAC, pp.133-140, 1997.

D. Cox, J. Little, and D. Shea, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduate Texts in Mathematics, 1992.

D. Eisenbud, Commutative Algebra with a view toward Algebraic Geometry, Graduate Texts in Math, vol.150, 1994.

M. Elkadi and B. Mourrain, IntroductionàIntroduction`Introductionà la résolution des systèmes d'´ equations algébriques, of Mathématiques et Applications, 2007.

I. Z. Emiris and B. Mourrain, Matrices in Elimination Theory, Journal of Symbolic Computation, vol.28, issue.1-2, pp.3-44, 1999.
DOI : 10.1006/jsco.1998.0266

J. C. Faugère, A new efficient algorithm for computing Gr??bner bases (F4), Journal of Pure and Applied Algebra, vol.139, issue.1-3, pp.61-88, 1999.
DOI : 10.1016/S0022-4049(99)00005-5

J. C. Faugère, P. Gianni, D. Lazard, and T. Mora, Efficient Computation of Zero-dimensional Gr??bner Bases by Change of Ordering, Journal of Symbolic Computation, vol.16, issue.4, pp.329-344, 1993.
DOI : 10.1006/jsco.1993.1051

M. Giusti, G. Lecerf, and B. Salvy, A Gr??bner Free Alternative for Polynomial System Solving, Journal of Complexity, vol.17, issue.1, pp.154-211, 2001.
DOI : 10.1006/jcom.2000.0571

G. H. Golub and C. F. Van-loan, Matrix computations. Johns Hopkins Studies in the Mathematical Sciences, 1996.

M. E. Huibregtse, An elementary construction of the multigraded Hilbert scheme of points, Pacific Journal of Mathematics, vol.223, issue.2, pp.269-315, 2006.
DOI : 10.2140/pjm.2006.223.269

A. Kehrein, M. Kreuzer, and L. Robbiano, An algebraist???s view on border bases, Solving Polynomial Equations: Foundations, Algorithms, and Applications, pp.169-202, 2005.
DOI : 10.1007/3-540-27357-3_4

A. Kehrein and K. , Characterizations of border bases, Journal of Pure and Applied Algebra, vol.196, issue.2-3, pp.251-270, 2005.
DOI : 10.1016/j.jpaa.2004.08.028

M. Kuranishi, On E. Cartan's prolongation theorem of exterior differential systems, American J. of Mathematics, vol.79, issue.1, 1957.

D. Lazard, Stewart platforms and Gröbner bases, ARK'92, Proceedings of Advance in Robot Kinematik, 1992.

F. S. Macaulay, Some Formulae in Elimination, Proceedings of the London Mathematical Society, vol.1, issue.1, pp.3-27, 1902.
DOI : 10.1112/plms/s1-35.1.3

F. S. Macaulay, The Algebraic Theory of Modular Systems, 1916.

B. Malgrange, Cartan involutivness = Mumford regularity, Comtemporary Mathematics, vol.331, 2003.
DOI : 10.1090/conm/331/05911

H. M. Möller and T. Sauer, H-bases for polynomial interpolation and system solving. multivariate polynomial interpolation, Advances in Computational Mathematics, vol.12, issue.4, pp.335-362, 2000.
DOI : 10.1023/A:1018937723499

B. Mourrain, The 40 ???generic??? positions of a parallel robot, Proceedings of the 1993 international symposium on Symbolic and algebraic computation , ISSAC '93, pp.173-182, 1993.
DOI : 10.1145/164081.164120

B. Mourrain, Computing isolated polynomial roots by matrix methods, J. of Symbolic Computation , Special Issue on Symbolic-Numeric Algebra for Polynomials, vol.26, issue.6, pp.715-738, 1998.
DOI : 10.1006/jsco.1998.0236

URL : http://doi.org/10.1006/jsco.1998.0236

B. Mourrain, A New Criterion for Normal Form Algorithms, Proc. AAECC, pp.430-443, 1999.
DOI : 10.1007/3-540-46796-3_41

B. Mourrain, Pythagore???s Dilemma, Symbolic-Numeric Computation, and the Border Basis Method, Mathematics and Visualisation. Birkhäuser, pp.223-243, 2006.
DOI : 10.1007/978-3-7643-7984-1_14

B. Mourrain, . Ph, and . Trébuchet, Solving projective complete intersection faster, Proceedings of the 2000 international symposium on Symbolic and algebraic computation symbolic and algebraic computation , ISSAC '00, pp.231-238, 2000.
DOI : 10.1145/345542.345642

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.7274

B. Mourrain, . Ph, and . Trébuchet, Algebraic methods for numerical solving, Proc. of the 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing'01, pp.42-57, 2002.

B. Mourrain, . Ph, and . Trébuchet, Generalised normal forms and polynomial system solving, Proc. Intern. Symp. on Symbolic and Algebraic Computation, pp.253-260, 2005.
DOI : 10.1145/1073884.1073920

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.7625

J. F. Pommaret, Partial differential equations and group theory: new perspectives for applications. Kluwer, 1994.
DOI : 10.1007/978-94-017-2539-2

G. Reid and L. Zhi, Solving nonlinear polynomial system via symbolic-numeric elimination method, Proc. of International Conference on Polynomial System Solving, pp.50-53, 2004.
DOI : 10.1016/j.jsc.2007.10.013

URL : http://doi.org/10.1016/j.jsc.2007.10.013

F. Rouillier, Solving Zero-Dimensional Systems Through the Rational Univariate Representation, Applicable Algebra in Engineering, Communication and Computing, vol.9, issue.5, pp.433-461, 1999.
DOI : 10.1007/s002000050114

URL : https://hal.archives-ouvertes.fr/inria-00073264

D. J. Saunders, The geometry of jet bundles, 1989.
DOI : 10.1017/CBO9780511526411

H. J. Stetter, Numerical polynomial algebra, Society for Industrial and Applied Mathematics (SIAM), 2004.
DOI : 10.1137/1.9780898717976

C. Traverso and A. Zanoni, Numerical stability and stabilization of Groebner basis computation, Proceedings of the 2002 international symposium on Symbolic and algebraic computation , ISSAC '02, pp.262-269, 2002.
DOI : 10.1145/780506.780540

. Ph and . Trébuchet, Vers une résolution stable et rapide deséquationsdeséquations algébriques, 2002.