Interval arithmetic: From principles to implementation Export

@article{citeulike:6043899, abstract = {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 arithmetic. Next, we define interval arithmetic operations on intervals with IEEE 754 floating point endpoints to be sound and optimal approximations of the real interval operations and we show that the IEEE standard's specification of operations involving the signed infinities, signed zeros, and the exact/inexact flag are such as to make a correct and optimal implementation more efficient. From the resulting theorems, we derive data that are sufficiently detailed to convert directly to a program for efficiently implementing the interval operations. Finally, we extend these results to the case of general intervals, which are defined as connected sets of reals that are not necessarily closed.}, address = {New York, NY, USA}, author = {Hickey, T. and Ju, Q. and Van Emden, M. H.}, citeulike-article-id = {6043899}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=502102.502106}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/502102.502106}, doi = {10.1145/502102.502106}, issn = {0004-5411}, journal = {J. ACM}, keywords = {article, graphing, interval\_arithmetic, interval\_methods, plotting, polynomial, visualization}, number = {5}, pages = {1038--1068}, posted-at = {2009-10-30 18:51:26}, priority = {2}, publisher = {ACM}, title = {Interval arithmetic: From principles to implementation}, url = {http://dx.doi.org/10.1145/502102.502106}, volume = {48}, year = {2001} }

TY - JOUR ID - citeulike:6043899 L3 - citeulike-article-id:6043899 N2 - 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 arithmetic. Next, we define interval arithmetic operations on intervals with IEEE 754 floating point endpoints to be sound and optimal approximations of the real interval operations and we show that the IEEE standard's specification of operations involving the signed infinities, signed zeros, and the exact/inexact flag are such as to make a correct and optimal implementation more efficient. From the resulting theorems, we derive data that are sufficiently detailed to convert directly to a program for efficiently implementing the interval operations. Finally, we extend these results to the case of general intervals, which are defined as connected sets of reals that are not necessarily closed. IS - 5 JF - J. ACM SN - 0004-5411 AD - New York, NY, USA EP - 1068 TI - Interval arithmetic: From principles to implementation PB - ACM VL - 48 SP - 1038 KW - article KW - graphing KW - interval_arithmetic KW - interval_methods KW - plotting KW - polynomial KW - visualization AU - Hickey, T AU - Ju, Q AU - Van Emden, MH PY - 2001/// UR - http://dx.doi.org/10.1145/502102.502106 ER -