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.

Subscribe to BTexact Technologies