IntervalArithmetic.jl
IntervalRootFinding.jl
IntervalOptimisation.jl
IntervalConstraintProgramming.jl
TaylorModels.jl