Centred dyadic approximations

Jens Blanck


Approximations based on dyadic centred intervals are investigated as a means
for implementing exact real arithmetic. It is shown that the field operations
can be implemented on these approximations with optimal or near optimal
results. Bounds for the loss in quality of approximations for each of the
field operations are also given. These approximations can be used as a more
efficient alternative to endpoint based implementations of interval analysis.
Thursday 19th October 2006, 14:00
Board Room
Department of Computer Science