Results 7 repositories owned by JuliaIntervals

IntervalArithmetic.jl

283
Stars
70
Forks
Watchers

Library for validated numerics using interval arithmetic

IntervalRootFinding.jl

126
Stars
26
Forks
Watchers

Library for finding the roots of a function using interval arithmetic

IntervalConstraintProgramming.jl

61
Stars
15
Forks
Watchers

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

IntervalOptimisation.jl

52
Stars
21
Forks
Watchers

Rigorous global optimisation in pure Julia

TaylorModels.jl

61
Stars
14
Forks
Watchers

Rigorous function approximation using Taylor models in Julia

ValidatedNumerics.jl

81
Stars
17
Forks
Watchers

Rigorous floating-point calculations with interval arithmetic in Julia