JuliaIntervals

Pinned Repositories

AffineArithmetic.jl
Affine arithmetic in Julia
Language:Julia10 7 224
IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
Language:Julia297 13 34872
IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
Language:Julia63 8 10016
IntervalConstraintProgrammingNotebooks
Example notebooks for the IntervalConstraintProgramming.jl Julia package
Language:Jupyter Notebook8 3 01
IntervalContractors.jl
Interval contractors and inverse (reverse) functions for Julia
Language:Julia10 7 1810
IntervalLinearAlgebra.jl
Linear algebra done rigorously
Language:Julia36 7 459
IntervalOptimisation.jl
Rigorous global optimisation in pure Julia
Language:Julia54 9 2821
IntervalRootFinding.jl
Library for finding the roots of a function using interval arithmetic
Language:Julia128 10 11426
TaylorModels.jl
Rigorous function approximation using Taylor models in Julia
Language:Julia63 9 5014
ValidatedNumerics.jl
Rigorous floating-point calculations with interval arithmetic in Julia
Language:Julia85 11 13517

JuliaIntervals's Repositories

JuliaIntervals/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
Language:Julia297 13 34872
JuliaIntervals/IntervalRootFinding.jl
Library for finding the roots of a function using interval arithmetic
Language:Julia128 10 11426
JuliaIntervals/ValidatedNumerics.jl
Rigorous floating-point calculations with interval arithmetic in Julia
Language:Julia85 11 13517
JuliaIntervals/IntervalConstraintProgramming.jl
Calculate rigorously the feasible region for a set of real-valued inequalities with Julia
Language:Julia63 8 10016
JuliaIntervals/TaylorModels.jl
Rigorous function approximation using Taylor models in Julia
Language:Julia63 9 5014
JuliaIntervals/IntervalOptimisation.jl
Rigorous global optimisation in pure Julia
Language:Julia54 9 2821
JuliaIntervals/IntervalLinearAlgebra.jl
Linear algebra done rigorously
Language:Julia36 7 459
JuliaIntervals/AffineArithmetic.jl
Affine arithmetic in Julia
Language:Julia10 7 224
JuliaIntervals/IntervalContractors.jl
Interval contractors and inverse (reverse) functions for Julia
Language:Julia10 7 1810
JuliaIntervals/CharibdeOptim.jl
Language:Julia8 6 223
JuliaIntervals/CRlibm.jl
Correctly-rounded mathematical functions for Julia
Language:Julia8 3 229
JuliaIntervals/IntervalConstraintProgrammingNotebooks
Example notebooks for the IntervalConstraintProgramming.jl Julia package
Language:Jupyter Notebook8 3 01
JuliaIntervals/IntervalSpecialFunctions.jl
Special functions for IntervalArithmetic.jl
Language:Julia8 4 54
JuliaIntervals/IntervalBoxes.jl
Multi-dimensional interval boxes in Julia
Language:Julia41
JuliaIntervals/ITF1788.jl
Parser to translate ITL to Julia
Language:Julia4 6 42
JuliaIntervals/juliaintervals.github.io
JuliaIntervals webpage
Language:Julia4 7 83
JuliaIntervals/MPFI.jl
Julia wrapper of the MPFI multi-precision interval library
Language:Julia1 4 12
JuliaIntervals/SetRounding.jl
Language:Julia1 4 95