Seminar series
Date
Thu, 06 Mar 2003
Time
14:00 -
15:00
Location
Comlab
Speaker
Dr Keith Briggs
Organisation
BTexact Technologies
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.