Module _docs
This module serves additional documentations and no code.
Conformance to the standard
Formal introduction to interval arithmetic
Introduction to interval arithmetic