a new release of the interval package for real-valued interval
arithmetic  is out, version 3.0.0.
This version incorporates a lot of work from Joel Dahne. I am very
happy that his GSoC project went so well and now the package has full
support for n-dimensional arrays of intervals.
A complete summary of important user-visible changes is also available
The interval package for real-valued interval arithmetic allows one to
evaluate functions over subsets of their domain. All results are
verified, because interval computations automatically keep track of any
These concepts can be used to handle uncertainties, estimate arithmetic
errors and produce reliable results. Also it can be applied to
computer-assisted proofs, constraint programming, and verified computing.
The implementation is based on interval boundaries represented by
binary64 numbers and is conforming to IEEE Std 1788-2015, IEEE standard
for interval arithmetic.