Bibliography

(Boehm, Cartwright, 90)

BOEHM, H., AND CARTWRIGHT, R.
Exact real arithmetic, formulating real numbers as functions.
In Research Topics in Functional Programming, D. Turner, Ed. Addison-Wesley, 1990, pp. 43-64.

(Corless et al., 95)

CORLESS, M.R., GIANNI, P.M., TRAGER, B.M., WATT, S.M.
The singular value decomposition for polynomial systems.
In Proc. ISSAC'95, 7/95, Montreal, Canada.

(Escardo, 2000)

ESCARDÓ, M. H.
Exact numerical computation.
In ISSAC'00 (2000), ACM Press.
tutorial.

(Gianantonio, 93)

GIANANTONIO, P.
Real number computability and domain theory.
In Proc. Math. Found. Comp. Sci. '93 (1993), Springer, pp. 413-422.

(Higham, 96)

HIGHAM, N. J.
Accuracy and stability of numerical algorithms.
SIAM, 1993.

(Menissier-Morain, 2000)

MÉNISSIER-MORAIN, V.
Arbitrary precision real arithmetic: design and algorithms.
Journal of Symbolic Computation (2000).
to appear.

(Roy, Szpirglas, 90)

ROY, M.-F., AND SZPIRGLAS, A.
Complexity of computation of real algebraic numbers.
Journal of Symbolic Computation 10 (1990), 39-51.

(Schicho, 98)

SCHICHO, J,
Rational Parameterization of Real Algebraic Surfaces.
Proc. of ISSAC-98, ACM Press, 1998.

(Schewchuk, 97)

SHEWCHUK, J. R.
Adaptive precision floating point arithmetic and fast robust geometric predicates.
Discr. Comp. Geom. 18 (1997), 305-363.

Strzebonski, 97)

STRZEBONSKI, A.
Computing in the field of complex algebraic numbers.
J. Symb. Comp., vol. 24/1997, 647-656.