2007/01/22 by van Emden, M. H., Moa, B.
#FOS: Mathematics #G.1.0 #Numerical Analysis (math.NA)
paper · doi:10.48550/arxiv.cs/0701141
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.