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 different approaches used.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Edalat and J.P. Potts, A New Representation for Exact Real Numbers, Electronical Notes in Theoretical Computer Science 6 (1997)
P. Gowland and D. Lester, A Survey of Exact Arithmetic Implementations, in: J. Blanck, V. Brattka and P. Hertling (editors), Computability and Complexity in Analysis, Lecture Notes in Computer Science, Springer, this volume.
MPFR group, The MPFR library, http://www.mpfr.org/.
N. Müller, The iRRAM: Exact Arithmetic in C++, in: J. Blanck, V. Brattka and P Hertling (editors), Computability and Complexity in Analysis, Lecture Notes in Computer Science, Springer, this volume.
P.J. Potts, Exact Real Arithmetic Using Möbius Transformations. PhD Thesis, University of London, Imperial College, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blanck, J. (2001). Exact Real Arithmetic Systems: Results of Competition. In: Blanck, J., Brattka, V., Hertling, P. (eds) Computability and Complexity in Analysis. CCA 2000. Lecture Notes in Computer Science, vol 2064. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45335-0_24
Download citation
DOI: https://doi.org/10.1007/3-540-45335-0_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42197-9
Online ISBN: 978-3-540-45335-2
eBook Packages: Springer Book Archive