Thu, 06 Mar 2003
14:00 -
15:00
Comlab
Exact real arithmetic
Dr Keith Briggs
(BTexact Technologies)
Abstract
Is it possible to construct a computational model of the real numbers in which the sign
of every computed result is corrected determined? The answer is yes, both in theory and in
practice. The resulting viewpoint contrasts strongly with the traditional floating
point model. I will review the theoretical background and software design issues,
discuss previous attempts at implementation and finally demonstrate my own python and
C++ codes.