dummy-link

Top Pkgs Packages

1

IntervalArithmetic

Rigorous floating-point calculations using interval arithmetic in Julia

2

IntervalRootFinding

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

3

ValidatedNumerics

Rigorous floating-point calculations with interval arithmetic in Julia

4

IntervalConstraintProgramming

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

5

IntervalOptimisation

Rigorous global optimisation in pure Julia

6

TaylorModels

Rigorous function approximation using Taylor models in Julia

7

CRlibm

Correctly-rounded mathematical functions for Julia

8

IntervalContractors

Interval contractors and inverse (reverse) functions for Julia

9

MPFI

Julia wrapper of the MPFI multi-precision interval library