Interval arithmetic: From principles to implementation

  title={Interval arithmetic: From principles to implementation},
  author={Timothy J. Hickey and Qun Ju and M. H. van Emden},
  journal={J. ACM},
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… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 232 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 149 extracted citations

232 Citations

Citations per Year
Semantic Scholar estimates that this publication has 232 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-8 of 8 references

Interval arithmetic specification

  • W. J. Older
  • Technical report, Bell-Northern Research…
  • 1989
Highly Influential
6 Excerpts

Interval Algebra, Composite Functions and Dependence in Compilers

  • G. William Walster, Eldon R. Hansen
  • Available on the internet,
  • 1998
Highly Influential
8 Excerpts

The extended real interval system

  • G. William Walster
  • Available on the internet,
  • 1998
Highly Influential
8 Excerpts

On extended interval arithmetic and inclusion isotonicity

  • D. Ratz
  • Institut für Angewandte Mathematik, Universität…
  • 1996
Highly Influential
20 Excerpts

Pitfalls of computation, or why a math book isn’t

  • George E. Forsythe
  • enough. Amer. Math. Monthly,
  • 1970
Highly Influential
4 Excerpts

A more complete interval arithmetic

  • W. M. Kahan
  • Technical report, University of Toronto, Canada,
  • 1968
Highly Influential
6 Excerpts

Theory of preconditioners for the interval Gauss-Seidel method and existence/uniqueness theory with interval Newton methods

  • Manuel Novoa
  • Department of Mathematics, University of…
  • 1993
Highly Influential
4 Excerpts

Computational Solution of Nonlinear Operator Equations

  • L. B. Rall
  • John Wiley,
  • 1969
Highly Influential
2 Excerpts

Similar Papers

Loading similar papers…