Expand description
This module serves additional documentations and no code.
Modules
- Conformance to the standard
- Formal introduction to interval arithmetic
- Introduction to interval arithmetic
This module serves additional documentations and no code.