Interval arithmetic From principles to implementation.

We start with a mathematical definition of a real interval as a closed, connected set of reals. Interval arithmetic operations (addition, subtraction, multiplication, and division) are likewise defined mathematically and we provide algorithms for computing these operations assuming exact real arithm...

Cur síos iomlán

Sonraí bibleagrafaíochta
Foilsithe in:	Journal of the ACM 48, 5 (2001).
Príomhchruthaitheoir:	Hickey, T.
Formáid:	Alt
Teanga:	English
Ábhair:	Software. Software engineering. Software/Program Verification. Validation. Mathematics of computing. Numerical analysis. Interval arithmetic. Computer arithmetic. Conditioning (and ill-conditioning). Error analysis. Roots of nonlinear equations. Iterative methods. Algorithms. Reliability. Theory. Verification.