DocumentCode
2379856
Title
The Fundamental Theorems of Interval Analysis
Author
van Emden, M.H. ; Moa, B.
Author_Institution
Univ. of Victoria, Victoria
fYear
2006
fDate
26-29 Sept. 2006
Firstpage
40
Lastpage
40
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SCAN.2006.43
Filename
4402430
Link To Document