A. , W. A. Adkins, J. W. Hoffman, and H. H. Wang, 1 do ( [4ti2] 4ti2?A software package for algebraic, geometric and combinatorial problems on linear spaces, 4ti2 team, available at www.4ti2.de Equations of parametric surfaces with base points via syzygies, Geometric applications of the Bezout matrix in the Lagrange basis, SNC '07: Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, pp.73-101, 2005.

M. P. Brodmann, R. Y. Sharp, L. Busé, M. Chardin, L. Busé et al., Local cohomology: an algebraic introduction with geometric applications, Cambridge Studies in Advanced Mathematics 60 First edition Implicitizing rational hypersurfaces using approximation complexes Torsion of the symmetric algebra and implicitization Implicitization of surfaces in P 3 in the presence of base points, BD07] L. Busé and M. Dohm. Implicitization of Bihomogeneous Parametrizations of Algebraic Surfaces via Linear Syzygies. Proceedings of the International Symposium on Symbolic and Algebraic Computation, pp.1150-1168189, 1993.

L. Busé, J. Busé, L. Elkadi, M. Galligo, and A. , On the closed image of a rational map and the implicitization problem A computational study of ruled surfaces, accepted to appear in Resultant-based methods for plane curves intersection problems, Proceedings of the CASC'2005 conference, pp.312-357, 2003.

M. Chardin, Applications of some properties of the canonical module in computational projective algebraic geometry Symbolic computation in algebra, analysis, and geometry, J. Symbolic Comput, vol.29, pp.4-5, 2000.

M. Chardin, Implicitization using approximation complexes, Algebraic geometry and geometric modeling Reparametrization of a rational ruled surface using the µ-basis, Math. Vis. Computer Aided Geometric Design, pp.23-35, 2003.

F. Chen and W. Wang, The ??-basis of a planar rational curve???properties and computation, Graphical Models, vol.64, issue.6, pp.368-381, 2003.
DOI : 10.1016/S1077-3169(02)00017-5

F. Chen and W. Wang, Revisiting the ??-basis of a rational ruled surface, Journal of Symbolic Computation, vol.36, issue.5, pp.699-716, 2003.
DOI : 10.1016/S0747-7171(03)00064-6

F. Chen, J. Zheng, and T. W. Sederberg, The mu-basis of a rational ruled surface, Computer Aided Geometric Design, vol.18, issue.1, pp.61-72, 2001.
DOI : 10.1016/S0167-8396(01)00012-7

D. A. Cox, Equations of parametric curves and surfaces via syzygies, Contemp. Math, vol.286, pp.1-20, 2000.
DOI : 10.1090/conm/286/04751

D. Cox, Curves, surfaces, and syzygies, Contemp. Math. Amer. Math. Soc, vol.334, pp.131-150, 2003.
DOI : 10.1090/conm/334/05979

D. Cox, Topics in algebraic geometry and geometric modeling The moving line ideal basis of planar rational curves, Contemp. Math. Amer. Math. Soc. Comput. Aided Geom. Design, vol.334, issue.158, pp.203-223, 1998.

W. Degen, Cyclides, in Handbook of Computer Aided Geometric Design, pp.575-601, 2002.

M. Dohm, Implicitization of rational ruled surfaces with µ-bases, accepted for publication in Journal of Symbolic Computation, Special Issue EACA, 2006.

M. Dohm and S. Zube, The implicit equation of a canal surface, Accepted for publication in Journal of Symbolic Computation, 2008.
DOI : 10.1016/j.jsc.2008.06.001
URL : https://hal.archives-ouvertes.fr/hal-00290577

D. Ei95-]-eisenbud, M. Fioravanti, L. Gonzalez-vega, and I. Necula, Commutative algebra with a view toward algebraic geometry of Graduate Texts in Mathematics Computing the intersection of two ruled surfaces, Proc. of Algorithmic Algebra and Logic. Conference in Honor of the 60 th. Birthday of Volker Weispfenning, pp.187-194, 1995.

W. Fulton, I. M. Gelfand, M. M. Kapranov, A. V. Zelevinsky, M. E. Grayson et al., Intersection theory Discriminants, resultants, and multidimensional determinants Macaulay 2, a software system for research in algebraic geometry Available at http://www.math.uiuc, Macaulay2/. [HSV83] J. Herzog, A. Simis, and W. V. Vasconcelos. Koszul homology and blowing-up rings Commutative algebra, pp.79-169, 1981.

J. Jouanolou, Le formalisme du r??sultant, Advances in Mathematics, vol.90, issue.2, pp.117-263, 1991.
DOI : 10.1016/0001-8708(91)90031-2
URL : http://doi.org/10.1016/0001-8708(91)90031-2

M. Kazakeviciute, Blending of natural quadrics with rational canal surfaces, 2005.

R. Krasauskas, Minimal rational parametrizations of canal surfaces, Mäurer, Studying cyclides using Laguerre geometry, pp.281-290, 2000.
DOI : 10.1007/s00607-006-0204-0

S. [. Krasauskas and . Zube, Canal Surfaces Defined by Quadratic Families of Spheres, pp.138-150, 2007.
DOI : 10.1007/978-3-540-72185-7_5

A. Khetan, The resultant of an unmixed bivariate system, international Symposium on Symbolic and Algebraic Computation, pp.425-442, 2002.
DOI : 10.1016/S0747-7171(03)00089-0

A. Khetan and C. , Implicitization of rational surfaces using toric varieties, Journal of Algebra, vol.303, issue.2, pp.543-565, 2006.
DOI : 10.1016/j.jalgebra.2005.05.028

J. [. Landsmann, F. Schicho, and . Winkler, The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares, Journal of Symbolic Computation, vol.32, issue.1-2, pp.119-132, 2001.
DOI : 10.1006/jsco.2001.0453

. Li, . Jia, X. Gao, and D. Manocha, The Proper Parametrization of a Special Class of Rational Parametric Equations, [MS05] Miller, Ezra and Sturmfels, Bernd. Combinatorial commutative algebra, pp.331-339, 1994.
DOI : 10.1007/s11424-006-0331-x

S. Pérez-díaz, On the problem of proper reparametrization for rational curves and surfaces, Computer Aided Geometric Design, vol.23, issue.4, pp.307-323, 2006.
DOI : 10.1016/j.cagd.2006.01.001

S. Pérez-díaz and J. R. Sendra, Computation of the degree of rational surface parametrizations, Journal of Pure and Applied Algebra, vol.193, issue.1-3, pp.99-121, 2004.
DOI : 10.1016/j.jpaa.2004.02.011

M. Peternell and H. Pottmann, Computing Rational Parametrizations of Canal Surfaces, Journal of Symbolic Computation, vol.23, issue.2-3, pp.255-266, 1997.
DOI : 10.1006/jsco.1996.0087

H. Pottmann and M. Peternell, Applications of Laguerre geometry in CAGD, Computer Aided Geometric Design, vol.15, issue.2, pp.165-186, 1998.
DOI : 10.1016/S0167-8396(97)00023-X

H. Pottmann, M. Peternell, and B. Ravani, Contributions to computational line geometry, Geometric Modeling and Procesing '98, pp.43-81, 1998.
DOI : 10.1007/978-3-642-04018-4

M. J. Pratt, Cyclides in computer aided geometric design, Computer Aided Geometric Design, vol.7, issue.1-4, pp.221-242, 1990.
DOI : 10.1016/0167-8396(90)90033-N

M. J. Pratt, Cyclides in computer aided geometric design II, Computer Aided Geometric Design, vol.12, issue.2, pp.131-152, 1995.
DOI : 10.1016/0167-8396(94)00006-E

F. San-segundo and J. R. Sendra, Degree formulae for offset curves, Journal of Pure and Applied Algebra, vol.195, issue.3, pp.301-335, 2005.
DOI : 10.1016/j.jpaa.2004.08.026

J. Schicho, Simplification of surface parametrizations???a lattice polygon approach, Journal of Symbolic Computation, vol.36, issue.3-4, pp.3-4, 2003.
DOI : 10.1016/S0747-7171(03)00094-4

T. Sederberg, F. Chen-sederberg, T. Goldman, R. Du, and H. , Implicitization using moving curves and surfaces Implicitizing rational curves by the method of moving algebraic curves, Computer Graphics Annual Conference Series J. Symbolic Comput, vol.23, pp.301-308, 1995.

T. W. Sederberg, T. Saito, D. X. Qi, and K. S. Klimaszewski, Curve implicitization using moving lines, Computer Aided Geometric Design, vol.11, issue.6, pp.687-706, 1994.
DOI : 10.1016/0167-8396(94)90059-0

I. R. Shafarevich, Basic algebraic geometry, study Edition, 1974.

W. V. Xu, R. Feng, and J. Sun, Analytic and algebraic properties of canal surfaces, Journal of Computational and Applied Mathematics, vol.195, issue.1-2, pp.220-228, 1994.
DOI : 10.1016/j.cam.2005.08.002

R. Zippel, Rational function decomposition, Proceedings of the 1991 international symposium on Symbolic and algebraic computation , ISSAC '91, pp.1-6, 1991.
DOI : 10.1145/120694.120695
URL : http://ecommons.cornell.edu/bitstream/1813/7049/1/91-1209.pdf