Change the repository type filter
All
Repositories list
18 repositories
IntervalRootFinding.jl
PublicLibrary for finding the roots of a function using interval arithmeticIntervalArithmetic.jl
PublicLibrary for validated numerics using interval arithmeticTaylorModels.jl
PublicIntervalBoxes.jl
PublicMulti-dimensional interval boxes in JuliaIntervalContractors.jl
PublicInterval contractors and inverse (reverse) functions for JuliaIntervalLinearAlgebra.jl
PublicLinear algebra done rigorouslyjuliaintervals.github.io
PublicCRlibm.jl
PublicValidatedNumerics.jl
PublicITF1788.jl
PublicIntervalOptimisation.jl
PublicRigorous global optimisation in pure JuliaSetRounding.jl
PublicCharibdeOptim.jl
PublicMPFI.jl
PublicJulia wrapper of the MPFI multi-precision interval library