Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0597.65037
Kulisch, U.W.; Miranker, W.L.
The arithmetic of the digital computer: A new approach. (English)
[J] SIAM Rev. 28, 1-40 (1986). ISSN 0036-1445; ISSN 1095-7200/e

This paper is rather an explanation and a recommendation of two books published by the present authors [Computer arithmetic in theory and practice (1981; Zbl 0487.65026) and A new approach to scientific computation (1983; Zbl 0538.00023)]. \par A great part of the paper deals with the pitfalls that may occur when simply one uses the floating-point arithmetic. There are also some interesting historic remarks. The main idea of the new approach is to use more systematically the intervals where may take place the results given by this arithmetic. Beside the five fundamental operations (the fifth one being the scalar product), the authors propose other ten operations which give the bounds of the respective intervals. Further we reproduce from the authors' Introduction: "In {\S} 5 a process of automatic error control called validation is described. Validation delivers high accuracy with guarantees for scientific computations. High accuracy is furnished by coupling the scalar product with a special numerical process called defect correction. Guarantees and error bounds are obtained by interval techniques".
[Gh.Marinescu]

MSC 2000:: *65G30 Interval and finite arithmetic
65G50 Roundoff error

Keywords: floating-point; fully accurate inner product; semimorphism; computation with guarantees; Computer arithmetic; scientific computation; floating- point arithmetic; automatic error control; Validation; defect correction

Citations: Zbl 0487.65026; Zbl 0538.00023

Cited in: Zbl 0719.65062

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]