240
edits
Interval package: Difference between revisions
→Theory
m (→Related work) |
(→Theory) |
||
| Line 31: | Line 31: | ||
== Theory == | == Theory == | ||
=== Online Introductions === | |||
[http://www.maths.manchester.ac.uk/~higham/narep/narep416.pdf Interval analysis in MATLAB] Note: The INTLAB toolbox for Matlab is not entirely compatible with this interval package for GNU Octave. For example, INTLAB additionally supports intervals in mid-rad form with complex values, INTLAB has no representation of an empty interval and INTLAB provides some features that this interval package is missing. However, basic operations can be compared and should be compatible for common intervals. | |||
=== Moore's fundamental theroem of interval arithmetic === | === Moore's fundamental theroem of interval arithmetic === | ||
| Line 40: | Line 44: | ||
# If in addition, each library operation in ''f'' is everywhere continuous on its inputs, while evaluating '''''y''''', then ''f'' is everywhere continuous on '''''x'''''. | # If in addition, each library operation in ''f'' is everywhere continuous on its inputs, while evaluating '''''y''''', then ''f'' is everywhere continuous on '''''x'''''. | ||
# If some library operation in ''f'' is nowhere defined on its inputs, while evaluating '''''y''''', then ''f'' is nowhere defined on '''''x''''', that is Dom(''f'') ∩ '''''x''''' = Ø. | # If some library operation in ''f'' is nowhere defined on its inputs, while evaluating '''''y''''', then ''f'' is nowhere defined on '''''x''''', that is Dom(''f'') ∩ '''''x''''' = Ø. | ||
== What to expect == | == What to expect == | ||