[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

interval 2.0.0 released

From: Oliver Heimlich
Subject: interval 2.0.0 released
Date: Mon, 21 Nov 2016 23:23:00 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.4.0


a new release of the interval package for real-valued interval
arithmetic [1] is out, version 2.0.0.

Much of this major release is due to Jiří Rohn.  His publications have
been an important source of inspiration in the past.  Now, he has
partially published the source code of his verification software VERSOFT
[2] as free software.  I have been able to convert his programs into
Octave syntax easily and they are included in the interval package.

A complete summary of important user-visible changes is also available
online [3].

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.

Enjoy Octave and free your intervals,


reply via email to

[Prev in Thread] Current Thread [Next in Thread]