| Number Systems | ||
|
| booleans |  |
|
| complex numbers | |
|
| derivative-based linear intervals | |
|
| floating point numbers | |
|
| Hansen's linear intervals | |
|
| intervals | |
|
| real intervals | |
|
| linear intervals | |
|
| real linear intervals | |
|
| naturals | |
|
| orderings | |
|
| rationals | |
|
| irrationals | |
|
| reals | |
|
| hyper-reals | |
|
| three-valued logic, or boolean intervals | |
|
| quadratic intervals | |
|
| real quadratic intervals | |
|
| numbers | |
|
| interval numbers | |
|
| integers | |
|
| positive numbers | |
|
| extended numbers | |
| Interval Number Systems | ||
|
| interval numbers | |
|
| one-dimensional interval numbers | |
|
| two-dimensional interval numbers | |
|
| collapsing intervals | |
|
| set descriptions | |
|
| domain tracking, using  | |
|
| domain tracking, using  | |
|
| domain tracking, using  | |
|
| domain tracking, using  | |
|
| domain and continuity tracking, using | |
|
| domain and continuity tracking, using |
|
| Jeff Tupper | March 1996 |
