IntervalOptimisation (julia): Rigorous global optimisation in pure Julia
Keywords: julia|global-optimization|interval-arithmetic