IntervalArithmetic.jl is a Julia package for validated numerics in Julia. All calculations are carried out using interval arithmetic where quantities are treated as intervals. The final result is a rigorous enclosure of the true value.
We are working towards having the IntervalArithmetic library be conformant with the IEEE 1788-2015 Standard for Interval Arithmetic. To do so, we have incorporated tests from the ITF1788 test suite.
The IntervalArithmetic library is part of the JuliaInterval organisation.
The official documentation is available online: https://juliaintervals.github.io/IntervalArithmetic.jl/stable.
The IntervalArithmetic.jl package requires to install Julia (v1.8 or above).
Then, start Julia and execute the following command in the REPL:
using Pkg; Pkg.add("IntervalArithmetic")
If you use the IntervalArithmetic library in your publication, research, teaching, or other activities, please use the BibTeX template CITATION.bib.