12 Packages since 2014
User Packages

IntervalArithmetic.jl237Rigorous floatingpoint calculations using interval arithmetic in Julia

IntervalRootFinding.jl116Find all roots of a function in a guaranteed way with Julia

ValidatedNumerics.jl81Rigorous floatingpoint calculations with interval arithmetic in Julia

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

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

TaylorModels.jl58Rigorous function approximation using Taylor models in Julia

IntervalOptimisation.jl51Rigorous global optimisation in pure Julia

IntervalLinearAlgebra.jl24Linear algebra done rigorously

AffineArithmetic.jl10Affine arithmetic in Julia

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

CRlibm.jl8Correctlyrounded mathematical functions for Julia

SetRounding.jl1
View all packages