Title :
The Fundamental Theorems of Interval Analysis
Author :
van Emden, M.H. ; Moa, B.
Author_Institution :
Univ. of Victoria, Victoria
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.
Keywords :
arithmetic; formal languages; grammars; fundamental theorems; interval analysis; interval arithmetic; Arithmetic; Computer aided instruction; Computer science; Formal languages;
Conference_Titel :
Scientific Computing, Computer Arithmetic and Validated Numerics, 2006. SCAN 2006. 12th GAMM - IMACS International Symposium on
Conference_Location :
Duisburg
Print_ISBN :
978-0-7695-2821-2
DOI :
10.1109/SCAN.2006.43
