The Fundamental Theorems of Interval Analysis
Numerical Analysis
2025-10-20 v2 Numerical Analysis
Abstract
Expressions are not functions. Confusing the two concepts or failing to define the function that is computed by an expression weakens the rigour of interval arithmetic. We give such a definition and continue with the required re-statements and proofs of the fundamental theorems of interval arithmetic and interval analysis. Revision Feb. 10, 2009: added reference to and acknowledgement of P. Taylor.
Keywords
Cite
@article{arxiv.cs/0701141,
title = {The Fundamental Theorems of Interval Analysis},
author = {M. H. van Emden and B. Moa},
journal= {arXiv preprint arXiv:cs/0701141},
year = {2025}
}
Comments
8 pages