Mathematical Structures in Computer Science

Paper

RealLib: An efficient implementation of exact real arithmetic

BRANIMIR LAMBOVa1

a1 BRICS, University of Aarhus, IT Parken, 8200 Aarhus N, Denmark Email: barnie@brics.dk

Abstract

This paper is an introduction to the RealLib package for exact real number computations. The library provides certified accuracy, but tries to achieve this at performance close to the performance of hardware floating point for problems that do not require higher precision. The paper gives the motivation and features of the design of the library and compares it with other packages for exact real arithmetic.

(Received December 01 2005)

(Revised June 09 2006)