E. Berberich, M. Hemmer, L. Kettner, E. Schömer, and N. Wolpert, An exact, complete and efficient implementation for computing planar maps of quadric intersection curves, Proceedings of the twenty-first annual symposium on Computational geometry , SCG '05, pp.99-115, 2005.
DOI : 10.1145/1064092.1064110

T. Bromwich, Quadratic Forms and Their Classification by Means of Invariant Factors, Cambridge Tracts in Mathematics and Mathematical Physics, 1906.

L. Dupont, D. Lazard, S. Lazard, and S. Petitjean, Near-optimal parameterization of the intersection of quadrics, Proceedings of the nineteenth conference on Computational geometry , SCG '03, pp.246-255, 2003.
DOI : 10.1145/777792.777830
URL : https://hal.archives-ouvertes.fr/inria-00099789

L. Dupont, D. Lazard, S. Lazard, and S. Petitjean, Near-optimal parameterization of the intersection of quadrics: II. A classification of pencils, Journal of Symbolic Computation, vol.43, issue.3, 2005.
DOI : 10.1016/j.jsc.2007.10.012
URL : https://hal.archives-ouvertes.fr/inria-00071228

L. Dupont, D. Lazard, S. Lazard, and S. Petitjean, Near-optimal parameterization of the intersection of quadrics: III. Parameterizing singular intersections, Journal of Symbolic Computation, vol.43, issue.3, 2005.
DOI : 10.1016/j.jsc.2007.10.007
URL : https://hal.archives-ouvertes.fr/inria-00071227

R. Farouki, C. Neff, and M. O. Connor, Automatic parsing of degenerate quadric-surface intersections, ACM Transactions on Graphics, vol.8, issue.3, pp.174-203, 1989.
DOI : 10.1145/77055.77058

P. Finsler, ???ber das Vorkommen definiter und semidefiniter Formen in Scharen quadratischer Formen, Commentarii Mathematici Helvetici, vol.9, issue.1, pp.188-192, 1936.
DOI : 10.1007/BF01258188

R. Goldman and J. Miller, Combining algebraic rigor with geometric robustness for the detection and calculation of conic sections in the intersection of two natural quadric surfaces, Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications , SMA '91, pp.221-231, 1991.
DOI : 10.1145/112515.112545

C. Hung and D. Ierardi, Constructing convex hulls of quadratic surface patches, Proceedings of 7th CCCG (Canadian Conference on Computational Geometry), pp.255-260, 1995.

J. Keyser, T. Culver, M. Foskey, S. Krishnan, and D. Manocha, ESOLID???a system for exact boundary evaluation, Computer-Aided Design, vol.36, issue.2, pp.175-193, 2004.
DOI : 10.1016/S0010-4485(03)00060-5

T. Benjamin and M. Reading, The Algebraic Theory of Quadratic Forms INRIA Near-Optimal Parameterization of the Intersection of Quadrics: I. The Generic Algorithm [12] S. Lazard, L. M. Peñaranda, and S. Petitjean. Near-optimal parameterization of the intersection of quadrics: IV. An efficient and exact implementation, 1973.

J. Levin, A parametric algorithm for drawing pictures of solid objects composed of quadric surfaces, Communications of the ACM, vol.19, issue.10, pp.555-563, 1976.
DOI : 10.1145/360349.360355

J. Levin, Mathematical models for determining the intersections of quadric surfaces, Computer Graphics and Image Processing, vol.11, issue.1, pp.73-87, 1979.
DOI : 10.1016/0146-664X(79)90077-7

J. Miller, Geometric approaches to nonplanar quadric surface intersection curves, ACM Transactions on Graphics, vol.6, issue.4, pp.274-307, 1987.
DOI : 10.1145/35039.35041

J. Miller and R. Goldman, Geometric Algorithms for Detecting and Calculating All Conic Sections in the Intersection of Any 2 Natural Quadric Surfaces, Graphical Models and Image Processing, vol.57, issue.1, pp.55-66, 1995.
DOI : 10.1006/gmip.1995.1006

B. Mourrain, J. Técourt, and M. Teillaud, On the computation of an arrangement of quadrics in 3D, Special issue, 19th European Workshop on Computational Geometry, pp.145-164, 2005.
DOI : 10.1016/j.comgeo.2004.05.003
URL : https://hal.archives-ouvertes.fr/inria-00350858

M. Namba, Geometry of Projective Algebraic Curves, 1984.

D. Perrin, Géométrie algébrique : une introduction. InterEditions, 1995.

B. Poonen, Computing rational points on curves In Number Theory for the Millenium, Proc. of Millennial Conference on Number Theory, 2000.

A. Requicha and H. Voelcker, Solid Modeling: A Historical Summary and Contemporary Assessment, IEEE Computer Graphics and Applications, vol.2, issue.2, pp.9-24, 1982.
DOI : 10.1109/MCG.1982.1674149

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial's real roots, Journal of Computational and Applied Mathematics, vol.162, issue.1, pp.33-50, 2004.
DOI : 10.1016/j.cam.2003.08.015

R. Sarraga, Algebraic methods for intersections of quadric surfaces in GMSOLID, Computer Vision, Graphics, and Image Processing, pp.222-238, 1983.

E. Schömer and N. Wolpert, An exact and efficient approach for computing a cell in an arrangement of quadrics Special Issue on Robust Geometric Algorithms and their Implementations, Computational Geometry: Theory and Applications, 2005.

C. Shene and J. Johnstone, Computing the intersection of a plane and a natural quadric, Computer & Graphics, vol.12, issue.2, pp.179-186, 1992.

C. Shene and J. Johnstone, On the lower degree intersections of two natural quadrics, ACM Transactions on Graphics, vol.13, issue.4, pp.400-424, 1994.
DOI : 10.1145/195826.197316

C. Tu, W. Wang, and J. Wang, Classifying the nonsingular intersection curve of two quadric surfaces, Proc. of GMP'02 (Geometric Modeling and Processing), pp.23-32, 2002.

F. Uhlig, Simultaneous block diagonalization of two real symmetric matrices, Linear Algebra and its Applications, vol.7, issue.4, pp.281-289, 1973.
DOI : 10.1016/S0024-3795(73)80001-1

F. Uhlig, A canonical form for a pair of real symmetric matrices that generate a nonsingular pencil, Linear Algebra and its Applications, vol.14, issue.3, pp.189-209, 1976.
DOI : 10.1016/0024-3795(76)90066-5

W. Wang, R. Goldman, and C. Tu, Enhancing Levin's method for computing quadric-surface intersections, Computer Aided Geometric Design, vol.20, issue.7, pp.401-422, 2003.
DOI : 10.1016/S0167-8396(03)00081-5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.600

W. Wang, B. Joe, and R. Goldman, Rational Quadratic Parameterizations of Quadrics, International Journal of Computational Geometry & Applications, vol.07, issue.06, pp.599-619, 1997.
DOI : 10.1142/S0218195997000375

W. Wang, B. Joe, and R. Goldman, Computing quadric surface intersections based on an analysis of plane cubic curves, Graphical Models, vol.64, issue.6, pp.335-367, 2002.
DOI : 10.1016/S1077-3169(02)00018-7

I. Wilf and Y. Manor, Quadric-surface intersection curves: shape and structure, Computer-Aided Design, vol.25, issue.10, pp.633-643, 1993.
DOI : 10.1016/0010-4485(93)90018-J

N. Wolpert, An Exact and Efficient Algorithm for Computing a Cell in an Arrangement of Quadrics, 2002.

I. Unité-de-recherche-inria-lorraine and L. , Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4

I. Unité-de-recherche and . Rennes, IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004.

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399