. Leprobì-eme-du-robotparalì-ele-est-ainsi-ramenéramenéà-la-résolution-d, un système de quatré equations en quatre variables homogènes qui définissent des points isolés On peut alors utiliser toutes les techniques connues et efficaces pour résoudre ce genre de système; par exemple calculer une matrice de Macaulay de ces quatré equations plus une forme linéaire générique Multivariate Bezoutians, Kronecker symbol and Eisenbud-Levin formula, Algorithms in Algebraic Geometry and Applications, pp.79-104, 1996.

A. David, D. Buchsbaum, and . Eisenbud, What annihilates a module, Journal of Algebra, vol.47, pp.231-243, 1977.

[. Busé, M. Elkadi, and B. Mourrain, Generalized resultants for unirationnal algebraic varieties, J. of Symbolic Computation, vol.59, pp.515-526, 2000.

[. Busé, M. Elkadi, and B. Mourrain, Resultant over the residual of a complete intersection, Journal of Pure and Applied Algebra, vol.164, issue.1-2, pp.35-57, 2001.
DOI : 10.1016/S0022-4049(00)00144-4

]. E. Béz64 and . Bézout, Recherches sur les degrés deséquationsdeséquations résultantes de l'´ evanouissement des inconnues et sur les moyens qu'il convient d'employer pour trouver ceséquationsceséquations, Hist de l'Aca. Roy. des Sciences, pp.288-338

[. Bruns, A. R. Kustin, and M. Miller, The resolution of the generic residual intersection of a complete intersection, Journal of Algebra, vol.128, issue.1, pp.214-239, 1990.
DOI : 10.1016/0021-8693(90)90050-X

D. Bayer and M. Stillman, A criterion for detectingm-regularity, Inventiones Mathematicae, vol.10, issue.8, pp.1-11, 1987.
DOI : 10.1007/BF01389151

[. Busé, Residual resultant over the projective plane and the implicitization problem. proceedings ISSAC2001, pp.48-55, 2001.

[. Bruns and U. Vetter, Determinantal rings, Lecture Notes in Mathematics, p.1327, 1980.
DOI : 10.1017/cbo9780511608681.009

J. F. Canny, Generalised characteristic polynomials, Journal of Symbolic Computation, vol.9, issue.3, pp.241-250, 1990.
DOI : 10.1016/S0747-7171(08)80012-0

]. A. Cay48 and . Cayley, on the theory of elimination, Cambridge and Dublin Math. Journal, vol.3, pp.116-120, 1848.

F. John, Canny and I. Emiris. An efficient algorithm for the sparse mixed resultant, Lect. Notes in Comp. Science, vol.673, pp.89-104, 1993.

M. Chardin, D. Eisenbud, and B. Ulrich, Hilbert functions and residually s 2 ideals On the validity of implicitization by moving quadrics for rationnal surfaces with no base points, Compositio J. Symbolic Computation, vol.125, issue.29, pp.193-219, 2000.

M. Chardin, The Resultant via a Koszul Complex, Computational Algebraic Geometry, vol.109, 1993.
DOI : 10.1007/978-1-4612-2752-6_3

D. Cox, J. Little, and D. Shea, Ideals, Varieties, and algorithms, 1996.

D. Cox, J. Little, and D. Shea, Using algebraic geometry. Graduate Texts in Mathematics, 1998.
DOI : 10.1007/978-1-4757-6911-1

F. John, D. Canny, and . Manocha, A new approach for surface intersection, International Journal of Computational Geometry and Applications, vol.1, issue.4, pp.491-516, 1991.

F. John, D. Canny, and . Manocha, Algorithm for implicitizing rational parametric surfaces, Computer Aided Geometric Design, vol.9, pp.25-50, 1992.

F. John, D. Canny, and . Manocha, Implicit representation of rational parametric surfaces, Cox00] David A. Cox. Equations of parametric curves and surfaces via syzygies. Contemporary Mathematics, A paraitre, pp.485-510, 1992.

F. John, P. Canny, and . Pedersen, An algorithm for the newton resultant Liaison and castelnuovomumford regularity, A01] Carlos D'Andrea. Resultants and moving surfaces. J. of Symbolic Computation, p.31, 1993.

O. Devillers, B. Mourrain, F. Preparata, and P. Trébuchet, On circular cylinders by four or five points in space Commutative Algebra with a view toward Algebraic Geometry, volume 150 of Graduate Texts in Math, Mourrain. Approche effective des résidus algébriques, 1994.

B. [. Elkadi and . Mourrain, A new algorithm for the geometric decomposition of a variety Elkadi and B. Mourrain. Algorithms for residues and lojasiewicz exponents Principles of algebraic geometry, Proc. Intern . Symp. on Symbolic and Algebraic Computation Mourrain. Géométrie algébrique effective en dimension 0 : de la théorie aux applications. A paraitreFul84] W. Fulton. Intersection theory, pp.9-16, 1978.

I. M. Gelfand, M. M. Kapranov, A. V. Daniel, R. Grayson, M. E. Stillmanhar77 et al., Macaulay 2, a software system for research in algebraic geometry Available at http://www.math.uiuc.edu/Macaulay2 Algebraic Geometry Geometric and solid modeling : an introduction Residual intersections, Jou91] J.-P. Jouanolou. Le formalisme du résultantJou97] J.-P. Jouanolou. Formes d'inertie et résultant: un formulaire, pp.1-20117, 1977.

. Adv, . In-math, A. V. Sturmfels, . Zelevinskykun86-]-e, and . Kunz, Chow polytopes et general resultants Kähler differentials Advanced lectures in Mathematics . Friedr. Vieweg and Sohn, Laz81] D. Lazard. Résolution des systèmes d'´ equations algébriquesLaz92] D. Lazard. Stewart platforms and gröbner bases. Proceedings of Advance in Robot Kinematik, pp.119-250189, 1977.

]. [. Le-potiermac02 and . Macaulay, Some formulae in elimination Enumeration problems in Geometry, Robotics and Vision [Mou98] B. Mourrain. Computing isolated polynomial roots by matrix methods. J. of Symbolic Computation, Special Issue on Symbolic-Numeric Algebra for Polynomials Product formulas for resultants and chow forms Implicitization using moving curves and surfaces, Cambridge studies in advanced mathematics Algorithms in Algebraic Geometry and Applications, volume 143 of Prog. in Math.RV92] F. Ronga and T. Vust. Stewart platform without computer. Preprint Proceedings of SIGGRAPHSer55] J.-P. Serre. Faisceaux algébriques cohérentsSha74] I.R. Shafarevitch. Basic Algebraic Geometry Storch. ¨ Uber Spurfunktionen bei vollständigen Durschnitten. J. Reine Angew MathematikVas98] W.V. Vasconcelos. Computational Methods in Commutative Algebra and Algebraic Geometry of Algorithms and Computation in Mathematics, pp.3-27, 1902.