12 Packages since 2014
User Packages
-
SetRounding.jl1-
-
IntervalContractors.jl8Interval contractors and inverse (reverse) functions for Julia
-
CRlibm.jl8Correctly-rounded mathematical functions for Julia
-
AffineArithmetic.jl10Affine arithmetic in Julia
-
IntervalLinearAlgebra.jl24Linear algebra done rigorously
-
IntervalOptimisation.jl51Rigorous global optimisation in pure Julia
-
TaylorModels.jl58Rigorous function approximation using Taylor models in Julia
-
ConstraintProgramming.jl60Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
-
IntervalConstraintProgramming.jl60Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
-
ValidatedNumerics.jl81Rigorous floating-point calculations with interval arithmetic in Julia
-
IntervalRootFinding.jl116Find all roots of a function in a guaranteed way with Julia
-
IntervalArithmetic.jl237Rigorous floating-point calculations using interval arithmetic in Julia
View all packages