JuliaIntervals

@JuliaIntervals

Pinned Loading

Library for validated numerics using interval arithmetic

Julia 322 71
Library for finding the roots of a function using interval arithmetic

Julia 131 26
Linear algebra done rigorously

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

Julia 67 17
Rigorous global optimisation

Julia 63 21
Rigorous function approximation using Taylor models in Julia

Julia 63 17

Showing 10 of 20 repositories

CoreMath.jl Public
Julia wrappers for core-math correctly-rounded IEEE 754 math functions

JuliaIntervals/CoreMath.jl’s past year of commit activity

Julia 0 MIT 0
0 0
Updated Feb 17, 2026
JuliaIntervals/IntervalArithmetic.jl’s past year of commit activity
TaylorModels.jl Public
Rigorous function approximation using Taylor models in Julia

JuliaIntervals/TaylorModels.jl’s past year of commit activity

Julia
63 17 17 6
Updated Feb 8, 2026
JuliaIntervals/IntervalContractors.jl’s past year of commit activity

Julia
11 9 10 2
Updated Jan 21, 2026
JuliaIntervals/IntervalBoxes.jl’s past year of commit activity

Julia
4 2 1 0
Updated Jan 11, 2026
JuliaIntervals/IntervalRootFinding.jl’s past year of commit activity
ValidatedNumerics.jl Public archive
Rigorous floating-point calculations with interval arithmetic in Julia

JuliaIntervals/ValidatedNumerics.jl’s past year of commit activity

Julia
85 17 0 0
Updated Nov 26, 2025
JuliaIntervals/IntervalOptimisation.jl’s past year of commit activity
JuliaIntervals/AffineArithmetic.jl’s past year of commit activity

Julia
12 4 13 2
Updated Sep 8, 2025
JuliaIntervals/RoundingEmulator.jl’s past year of commit activity

Julia
3
MIT
3 0 0
Updated Mar 15, 2025