AN AXIOMATIC APPROACH TO ROUNDED COMPUTATIONS.
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1969
- Accession Number
- AD0713435
Entities
People
- U. Kulisch
Organizations
- University of Wisconsin–Madison