5·î17Æü(ÌÚ)  15:00 -- 16:00  Ulrich W. Kulisch
                             (University of Karlsruhe, Germany)
             ``Advanced Arithmetic for the Digital Computer - Design of 
               Arithmetic Units''


``Advanced Arithmetic for the Digital Computer - Design of Arithmetic Units''


  Numerical Mathematics has devised algorithms that deliver highly accurate 
and automatically verified results. However, the arithmetic available on 
existing processors makes these methods extremely slow. Advances in computer
technology are now so profound that there is no need anymore to perform all 
computer calculations by the four elementary floating-point operations.
  The talk will define advanced computer arithmetic. It extends the accuracy 
requirement of the elementary floating-point operations -for instance, as 
defined by the IEEE arithmetic standard - to all operations in the usual 
product spaces of computation: the real and complex vector spaces and their 
interval counterparts. The talk will discuss the design of arithmetic units 
for advanced computer arithmetic. The new expanded computational capability 
is gained at modest cost. It increases both, the speed of a computation as 
well as the accuracy of the computed result.
Literature:
  Kulisch: Advanced Arithmetic for the Digital Computer -
                 Design of Arithmetic Units:
         http//www.elsvier.nl/locate/entcs/volume24.html    
  Kulisch: Advanced Arithmetic for the Digital Computer - Interval 
         Arithmetic Revisited:
         ftp://ftp.iam.uni-karlsruhe.de/pub/documents/kulisch/advarith.ps.gz