12 Packages since 2014
User Packages

IntervalArithmetic.jl140Rigorous floatingpoint calculations using interval arithmetic in Julia

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

ValidatedNumerics.jl63Rigorous floatingpoint calculations with interval arithmetic in Julia

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

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

TaylorModels.jl36Rigorous function approximation using Taylor models in Julia

IntervalOptimisation.jl33Rigorous global optimisation in pure Julia

AffineArithmetic.jl8Affine arithmetic in Julia

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

CRlibm.jl6Correctlyrounded mathematical functions for Julia

IntervalSpecialFunctions.jl6Special functions for IntervalArithmetic.jl

SetRounding.jl1
View all packages