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