Pinned

1. ValidatedNumerics.jl ValidatedNumerics.jl Public

   Rigorous floating-point calculations with interval arithmetic in Julia

   Julia 81 17

2. IntervalArithmetic.jl IntervalArithmetic.jl Public

   Library for validated numerics using interval arithmetic

   Julia 278 69

3. IntervalRootFinding.jl IntervalRootFinding.jl Public

   Find all roots of a function in a guaranteed way with Julia

   Julia 123 27

4. IntervalConstraintProgramming.jl IntervalConstraintProgramming.jl Public

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

   Julia 61 15

5. IntervalOptimisation.jl IntervalOptimisation.jl Public

   Rigorous global optimisation in pure Julia

   Julia 52 21

6. TaylorModels.jl TaylorModels.jl Public

   Rigorous function approximation using Taylor models in Julia

   Julia 61 14