Rigorous floating-point calculations with interval arithmetic in Julia
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
examples
src
test
.travis.yml
LICENSE.md
NEWS.md
README.md
REQUIRE
appveyor.yml

README.md

ValidatedNumerics.jl

Build Status Coverage Status codecov Join the chat at https://gitter.im/dpsanders/ValidatedNumerics.jl

ValidatedNumerics.jl is a suite of Julia packages for performing Validated Numerics in Julia, i.e. rigorous computations with finite-precision floating-point arithmetic, using interval arithmetic: quantities are treated as intervals that are propagated throughout a calculation. The final result is an interval that is guaranteed to contain the correct result, starting from the given initial data.

The aims of the package are both correctness and good performance.

Installation

To install the package, from within Julia do

julia> Pkg.add("ValidatedNumerics")

Since version 0.9, ValidatedNumerics.jl is a meta-package that automatically installs and reexports the following packages from the JuliaIntervals GitHub organization:

Documentation

Documentation is available separately for each of the above packages.

IEEE Standard 1788-2015 - IEEE Standard for Interval Arithmetic

The IEEE Std 1788-2015 - IEEE Standard for Interval Arithmetic was published in June 2015. We are working towards having ValidatedNumerics be conformant with this standard.

To do so, we have incorporated tests from the excellent ITF1788 test suite, originally written by Marco Nehmeier and Maximilian Kiesner, and converted to a common format and to output tests for Julia by Oliver Heimlich.

Authors

  • Luis Benet, Instituto de Ciencias Físicas, Universidad Nacional Autónoma de México (UNAM)
  • David P. Sanders, Departamento de Física, Facultad de Ciencias, Universidad Nacional Autónoma de México (UNAM)

Bibliography

  • Validated Numerics: A Short Introduction to Rigorous Computations, W. Tucker, Princeton University Press (2010)
  • Introduction to Interval Analysis, R.E. Moore, R.B. Kearfott & M.J. Cloud, SIAM (2009)

Related packages

  • MPFI.jl, a Julia wrapper around the MPFI C library, a multiple-precision interval arithmetic library based on MPFR
  • Intervals.jl, an alternative implementation of basic interval functions.

History

This project was begun during a masters' course in the postgraduate programs in Physics and in Mathematics at UNAM during the second semester of 2013 (in Python -- the ValidiPy package), and was reinitiated -- now in Julia -- in the first semester of 2015. We thank the participants of the courses for putting up with the half-baked material and contributing energy and ideas.

Acknowledgements

Financial support is acknowledged from DGAPA-UNAM PAPIME grants PE-105911 and PE-107114, and DGAPA-UNAM PAPIIT grants IN-117214 and 117117. LB acknowledges support through a Cátedra Marcos Moshinsky (2013). DPS acknowledges a sabbatical fellowship from CONACYT and thanks Alan Edelman and the Julia group at MIT for hosting his sabbatical visit during 2016.