JuliaIntervals/TaylorModels.jl

Stars
60
Rank 503,336 (Top 10 %)
Language
Julia
License
Other
Created about 7 years ago
Updated 11 months ago

JuliaIntervals/TaylorModels.jl

JuliaIntervals

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Rigorous function approximation using Taylor models in Julia

IntervalArithmetic.jl

Library for validated numerics using interval arithmetic

IntervalRootFinding.jl

Find all roots of a function in a guaranteed way with Julia

ValidatedNumerics.jl

Rigorous floating-point calculations with interval arithmetic in Julia

IntervalConstraintProgramming.jl

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

IntervalOptimisation.jl

Rigorous global optimisation in pure Julia

IntervalLinearAlgebra.jl

Linear algebra done rigorously

AffineArithmetic.jl

Affine arithmetic in Julia

CRlibm.jl

Correctly-rounded mathematical functions for Julia

IntervalContractors.jl

Interval contractors and inverse (reverse) functions for Julia

IntervalSpecialFunctions.jl

Special functions for IntervalArithmetic.jl

CharibdeOptim.jl

IntervalConstraintProgrammingNotebooks

Example notebooks for the IntervalConstraintProgramming.jl Julia package

Jupyter Notebook

ITF1788.jl

Parser to translate ITL to Julia

juliaintervals.github.io

JuliaIntervals webpage

SetRounding.jl

MPFI.jl

Julia wrapper of the MPFI multi-precision interval library