Rigorous floating-point calculations using interval arithmetic in Julia
IntervalArithmetic.jl is a Julia package for validated numerics. 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.