CCA
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the diï¬...
CSL
2005
Springer
13 years 10 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...