Pinned Loading

1. IntervalArithmetic.jl IntervalArithmetic.jl Public

   Library for validated numerics using interval arithmetic

   Julia 324 72

2. IntervalRootFinding.jl IntervalRootFinding.jl Public

   Library for finding the roots of a function using interval arithmetic

   Julia 132 26

3. IntervalLinearAlgebra.jl IntervalLinearAlgebra.jl Public

   Linear algebra done rigorously

   Julia 40 11

4. IntervalConstraintProgramming.jl IntervalConstraintProgramming.jl Public

   Calculate rigorously the feasible region for a set of real-valued inequalities with Julia

   Julia 67 17

5. IntervalOptimisation.jl IntervalOptimisation.jl Public

   Rigorous global optimisation

   Julia 64 21

6. TaylorModels.jl TaylorModels.jl Public

   Rigorous function approximation using Taylor models in Julia

   Julia 63 17