H. Brönnimann, G. Melquiond, and S. Pion, The Boost interval arithmetic library, Proceedings of the 5th International Conference on Real Numbers and Computer, 2003.

E. George, A. G. Collins, and . Akritas, Polynomial real root isolation using descarte's rule of signs, SYMSAC '76: Proceedings of the third ACM symposium on Symbolic and algebraic computation, pp.272-275, 1976.

L. Dupont, Paramétrage quasi-optimal de l'intersection de deux quadriques : théorie, algorithme et implantation, 2004.

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

Z. Ioannis, R. J. Emiris, and . Fateman, Towards an efficient implementation of interval arithmetic, 1992.

S. Pion, Interval arithmetic: an efficient implementation and an application to computational geometry In Proceedings of the Workshop on Applications of Interval Analysis to Systems and Control with special emphasis on recent advances in Modal Interval Analysis MISC'99, pp.99-109, 1999.

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

D. Simon, Sur la paramétrisation des solutions deséquationsdeséquations quadratiques, 2004.

G. Strang, Linear Algebra and its Application, 2nd, 1980.

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-210, 1976.
DOI : 10.1016/0024-3795(76)90066-5

W. Wang, Y. Choi, B. Chan, M. Kim, and J. Wang, Efficient collision detection for moving ellipsoids based on simple algebraic test and separating planes

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