T. Chaperon, A note on the construction of right circular cylinders through five 3d points, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01259643

T. Chaperon, F. Goulette, and C. Laurgeau, Extracting cylinders in full 3d data using a random sampling method and the gaussian image, Vision, Modeling and Visualization (VMV'01), 2001.
URL : https://hal.archives-ouvertes.fr/hal-01259641

R. Corless, P. Gianni, and B. Trager, A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots, Proceedings of the 1997 international symposium on Symbolic and algebraic computation , ISSAC '97, pp.133-140, 1997.
DOI : 10.1145/258726.258767

R. M. Corless, L. Gonzalez-vega, I. Necula, and A. Shakoori, Topology determination of implicitly defined real algebraic plane curves, An. Univ. Timi¸soaraTimi¸soara Ser. Mat.-Inform, pp.4183-96, 2003.

O. Devillers, B. Mourrain, F. P. Preparata, and P. Trebuchet, Circular cylinders through four or five points in space, Discrete Comput. Geom, vol.29, issue.1, pp.83-104, 2003.

M. Elkadi and B. Mourrain, Symbolic-numeric methods for solving polynomial equations and applications, Solving Polynomial Equations: Foundations, Algorithms, and Applications, pp.125-168, 2005.
DOI : 10.1007/3-540-27357-3_3

W. Fulton, Introduction to intersection theory in algebraic geometry, CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, 1984.
DOI : 10.1090/cbms/054

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

L. González-vega and I. Necula, Efficient topology determination of implicitly defined algebraic plane curves, Computer Aided Geometric Design, vol.19, issue.9, pp.719-743, 2002.
DOI : 10.1016/S0167-8396(02)00167-X

N. Kravitsky, Discriminant varieties and discriminant ideals for operator vessels in Banach space. Integral Equations Operator Theory, pp.441-458, 1995.

S. Lang, Algebra, volume 211 of Graduate Texts in Mathematics, 2002.

D. Manocha and J. Demmel, Algorithms for intersecting parametric and algebriac curves ii; multiple intersections. Computer vision, Graphics and image processing: Graphical models and image processing, pp.81-100, 1995.

B. Mourrain, A New Criterion for Normal Form Algorithms, Lecture Notes in Comput. Sci, vol.1719, pp.430-443, 1999.
DOI : 10.1007/3-540-46796-3_41

B. Mourrain and P. Trebuchet, Solving projective complete intersection faster, Proceedings of the 2000 international symposium on Symbolic and algebraic computation symbolic and algebraic computation , ISSAC '00, pp.234-241, 2000.
DOI : 10.1145/345542.345642

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

S. Oishi, Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation, Linear Algebra and its Applications, vol.324, issue.1-3, pp.133-146, 2001.
DOI : 10.1016/S0024-3795(00)00272-X