13 Packages since 2014
User Packages

IntervalArithmetic.jl292Library for validated numerics using interval arithmetic

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

ValidatedNumerics.jl85Rigorous floatingpoint calculations with interval arithmetic in Julia

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

TaylorModels.jl63Rigorous function approximation using Taylor models in Julia

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

IntervalOptimisation.jl54Rigorous global optimisation in pure Julia

IntervalLinearAlgebra.jl36Linear algebra done rigorously

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

AffineArithmetic.jl10Affine arithmetic in Julia

CRlibm.jl8Correctlyrounded mathematical functions for Julia

IntervalBoxes.jl4Multidimensional interval boxes in Julia

SetRounding.jl1
View all packages