Difference between revisions of "Octave-interval"

From Free Software Directory
Jump to: navigation, search
(First major release of the interval package for Octave)
Line 8: Line 8:
|VCS checkout command=hg clone http://hg.code.sf.net/p/octave/interval octave-interval
|VCS checkout command=hg clone http://hg.code.sf.net/p/octave/interval octave-interval
|Computer languages=Octave, C++, TexInfo
|Computer languages=Octave, C++, TexInfo
|IRC general=irc://irc.freenode.net/#octave
|IRC general=irc://chat.freenode.net/octave
|Related projects=libieeep1788
|Related projects=libieeep1788
|Keywords=interval, interval arithmetic, result verification, verified computing
|Keywords=interval, interval arithmetic, result verification, verified computing

Revision as of 14:43, 25 July 2015

Reviews: 0 ... further results.



Real-valued interval arithmetic for Octave

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 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.

"IRC general" IRC general channel

Related Projects

Extension or Plugin

This package can be used as an extension, plugin, or add-on to:



Verified by

Verified on


Leaders and contributors

Oliver Heimlich (Oheim)author, maintainer

Resources and communication

AudienceResource typeURI
Debian (Ref)https://tracker.debian.org/pkg/octave-interval

Software prerequisites

Required to useMPFR

This entry (in part or in whole) was last reviewed on 22 February 2018.


"author, maintainer" is not in the list (Maintainer, Contributor, Developer, Sponsor, Unknown) of allowed values for the "Role" property.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.