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