Interval arithmetic is a fundamental and reliable mathematical machinery for scientific computing and for addressing uncertainty in general. In order to apply interval mathematics to real life uncertainty problems, one needs a computerized (machine) version thereof, and so, this article is devoted to some mathematical notions concerning the algebraic system of machine interval arithmetic. After formalizing some purely mathematical ingredients of particular importance for the purpose at hand, we give formal characterizations of the algebras of real intervals and machine intervals along with describing the need for interval computations to cope with uncertainty problems. Thereupon, we prove some algebraic and order-theoretic results concerning the structure of machine intervals.
On Some Algebraic and Order-Theoretic Aspects of Machine Interval Arithmetic
2019-04-01
oai:zenodo.org:2656089
Online Mathematics Journal 01(02) 1–13
Article (Journal)
Electronic Resource
English
Outward rounding , Orderability of intervals , S-semiring , lattices , Singletonicity , Error analysis and interval analysis , Machine monotonicity , Dense orders , Floating-point arithmetic , Algebraic structures , Machine interval arithmetic , Order , Set theory , ordered algebraic structures , Interval mathematics , Subdistributive semiring , Mathematical problems of computer architecture
DDC: | 629 |
Determination of Inspection Order by Interval Arithmetic Neural Networks
British Library Online Contents | 1995
|The interval arithmetic package
TIBKAT | 1977
|The interval arithmetic package : multiple precision version
TIBKAT | 1979
|Recent Topic on Circuit Analysis Application of Interval Arithmetic
British Library Online Contents | 1996
|