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

Bug#800153: ITP: octave-interval -- real-valued interval arithmetic for Octave



Package: wnpp
Severity: wishlist
Owner: Oliver Heimlich <oheim@posteo.de>

* Package name    : octave-interval
  Version         : 1.1.0
  Upstream Author : Oliver Heimlich <oheim@posteo.de>
* URL             : http://octave.sourceforge.net/interval/
* License         : GPL
  Programming Lang: Octave, C++
  Description     : real-valued interval arithmetic for Octave

The interval package for real-valued interval arithmetic allows to evaluate
functions over subsets of their domain. All results are verified, because
interval computations automatically keep track of any errors. 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.


The package will be maintained by the DebianOctaveGroup and, upstream, by the
Octave Forge Community. The package is a reference implementation of the
recently published IEEE standard for interval arithmetic. It may be used as a
free replacement for the proprietary INTLAB toolbox. The latter has been widely
used in education for computer arithmetic, for example in the book
“Introduction to Interval Analysis” (2009) by Ramon E. Moore, R. Baker
Kearfott, and Michael J. Cloud.

In contrast to libmpfi and python-mpmath this package provides more
functionality, but is limited to the binary64 data type.

Some efforts to package have already been made, see
http://anonscm.debian.org/cgit/pkg-octave/octave-interval.git/


Reply to: