13 Packages since 2014
User Packages

AffineArithmetic.jl10Affine arithmetic in Julia

ConstraintProgramming.jl63Calculate rigorously the feasible region for a set of realvalued inequalities with Julia

CRlibm.jl8Correctlyrounded mathematical functions for Julia

IntervalArithmetic.jl292Library for validated numerics using interval arithmetic

IntervalBoxes.jl4Multidimensional interval boxes in Julia

IntervalConstraintProgramming.jl63Calculate rigorously the feasible region for a set of realvalued inequalities with Julia

IntervalContractors.jl10Interval contractors and inverse (reverse) functions for Julia

IntervalLinearAlgebra.jl36Linear algebra done rigorously

IntervalOptimisation.jl54Rigorous global optimisation in pure Julia

IntervalRootFinding.jl127Library for finding the roots of a function using interval arithmetic

SetRounding.jl1

TaylorModels.jl63Rigorous function approximation using Taylor models in Julia

ValidatedNumerics.jl85Rigorous floatingpoint calculations with interval arithmetic in Julia
View all packages