
Accession Number : AD0713435
Title : AN AXIOMATIC APPROACH TO ROUNDED COMPUTATIONS.
Descriptive Note : Technical summary rept.,
Corporate Author : WISCONSIN UNIV MADISON MATHEMATICS RESEARCH CENTER
Personal Author(s) : Kulisch,U.
Report Date : NOV 1969
Pagination or Media Count : 34
Abstract : The present paper is intended to give an axiomatic approach to rounded computations. A rounding is defined as a monotone mapping of an ordered set into a subset, which in general is called a lower respectively an upper screen. The first chapter deals with roundings in ordered sets. In the second chapter further properties of roundings in linearly ordered sets are studied. The third chapter deals with the two most important applications, the approximation of the real arithmetic on a finite screen and the approximation of the real interval arithmetic on an upper screen. Beyond these examples various further applications are possible. (Author)
Descriptors : (*NUMERICAL ANALYSIS, COMPUTER PROGRAMMING), APPROXIMATION(MATHEMATICS), SET THEORY, THEOREMS
Subject Categories : Theoretical Mathematics
Distribution Statement : APPROVED FOR PUBLIC RELEASE