JuliaIntervals

All

19 repositories

TaylorModels.jl
Public
Rigorous function approximation using Taylor models in Julia
Julia
•
Other
•17•64•17•6•Updated Dec 18, 2025Dec 18, 2025
IntervalRootFinding.jl
Public
Library for finding the roots of a function using interval arithmetic
julia interval-arithmetic root-finding-methods
Julia
•
Other
•26•131•24•6•Updated Dec 15, 2025Dec 15, 2025
IntervalArithmetic.jl
Public
Library for validated numerics using interval arithmetic
julia interval-arithmetic rigorous-numerics
Julia
•
Other
•71•318•16•5•Updated Dec 9, 2025Dec 9, 2025
ValidatedNumerics.jl
Public archive
Rigorous floating-point calculations with interval arithmetic in Julia
Julia
•
Other
•17•85•0•0•Updated Nov 26, 2025Nov 26, 2025
IntervalOptimisation.jl
Public
Rigorous global optimisation
julia global-optimization interval-arithmetic
Julia
•
Other
•21•63•15•12•Updated Sep 8, 2025Sep 8, 2025
AffineArithmetic.jl
Public
Affine arithmetic in Julia
Julia
•
Other
•4•12•13•2•Updated Sep 8, 2025Sep 8, 2025
IntervalBoxes.jl
Public
Multi-dimensional interval boxes
julia interval-arithmetic
Julia
•
Other
•3•4•1•2•Updated May 7, 2025May 7, 2025
RoundingEmulator.jl
Public
Emulate directed rounding in default rounding mode
Julia
•
MIT License
•3•3•0•0•Updated Mar 15, 2025Mar 15, 2025
CRlibm.jl
Public
Correctly-rounded mathematical functions
julia correct-rounding
Julia
•
Other
•9•8•1•0•Updated Feb 23, 2025Feb 23, 2025
ITF1788.jl
Public
Parser to translate ITL to Julia
Julia
•
MIT License
•2•4•4•0•Updated Dec 9, 2024Dec 9, 2024
IntervalConstraintProgramming.jl
Public
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
Julia
•
Other
•17•67•12•0•Updated Dec 9, 2024Dec 9, 2024
IntervalContractors.jl
Public
Interval contractors and inverse (reverse) functions for Julia
interval-arithmetic contractors reverse-functions inverse-functions
Julia
•
Other
•10•10•11•3•Updated Aug 24, 2024Aug 24, 2024
IntervalLinearAlgebra.jl
Public
Linear algebra done rigorously
linear-algebra numerics interval-arithmetic
Julia
•
MIT License
•11•39•11•2•Updated Aug 13, 2024Aug 13, 2024
juliaintervals.github.io
Public
JuliaIntervals webpage
Julia
•3•5•0•0•Updated Jun 11, 2024Jun 11, 2024
SetRounding.jl
Public archive
Julia
•
Other
•5•1•3•1•Updated Mar 19, 2021Mar 19, 2021
IntervalSpecialFunctions.jl
Public archive
Special functions for IntervalArithmetic.jl
Julia
•
Other
•4•8•4•3•Updated May 23, 2020May 23, 2020
CharibdeOptim.jl
Public archive
Julia
•
ISC License
•3•7•6•4•Updated Feb 28, 2020Feb 28, 2020
MPFI.jl
Public archive
Julia wrapper of the MPFI multi-precision interval library
julia interval-arithmetic multi-precision
Julia
•
Other
•2•1•0•1•Updated Feb 8, 2020Feb 8, 2020
IntervalConstraintProgrammingNotebooks
Public archive
Example notebooks for the IntervalConstraintProgramming.jl Julia package
constraints intervals
Jupyter Notebook
•1•8•0•0•Updated May 4, 2017May 4, 2017