Reinhold Heckmann

Abstract

In the LFT approach to Exact Real Arithmetic, we study the question how many argument digits are needed to produce a certain number of result digits. We present upper and lower bounds for many simple functions and operations, and for exponential and square root.

[Paper.ps.gz (21p, 84k)]