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.

The IntervalArithmetic library is compliant with the IEEE 1788-2015 standard for interval arithmetic.

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