Skip to Main Content
Computer Arithmetic and Validity
book

Computer Arithmetic and Validity

by Ulrich Kulisch
April 2013
Intermediate to advanced content levelIntermediate to advanced
456 pages
16h 7m
English
De Gruyter
Content preview from Computer Arithmetic and Validity
110 Chapter 4 Interval arithmetic
By means of the following identity, this definition allows for the interpretation that
an interval vector a D .A
i
/ 2 V
n
IR also represents a set of vectors
a D .A
i
/ f.a
i
/ j a
i
2 A
i
, i D 1.1/ng.
In the case of a linearly ordered ringoid fR, C, , g, for all operations in the ringoid
fIR,
+
,
, gwe have derived explicit and easily performable formulas in Section 4.2
of this chapter. Formulas (4.4.1) for the operations
ı
, therefore, are also easily per-
formable. This is not the case for the operations
ı
originally defined, for instance, in
fIV
n
R, IM
n
R, g. Appealing to the isomorphism, we see that the operations
ı
can
be used ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Arithmetic and Logic in Computer Systems

Arithmetic and Logic in Computer Systems

Mi Lu
Interval Analysis

Interval Analysis

Günter Mayer

Publisher Resources

ISBN: 9783110301731