IntervalArithmetic.jl: Rigorous oating-point calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package for performing Validated Numerics in Julia, i.e. rigorous computations with finite-precision floating-point arithmetic. All calculations are carried out using interval arithmetic: all quantities are treated as intervals, which 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 aim of the package is correctness over speed, although performance considerations are also taken into account.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Menini, Laura; Possieri, Corrado; Tornambè, Antonio: A dynamical interval Newton method (2021)
- Hénot, Olivier; Rousseau, Christiane: Spiderweb central configurations (2019)
- Luis Benet; David P. Sanders: TaylorSeries.jl: Taylor expansions in one and several variables in Julia (2018) not zbMATH