interval-arithmetic
There are 66 repositories under interval-arithmetic topic.
sobolev-pruning
Towards Sobolev Pruning (PASC'24 Conference Paper)
kinterval
Octave package for Kaucher interval arithmetic
ob-ode-relaxations
Proof-of-concept implementation of a method by Song and Khan (2022) for computing convex relaxations for parametric ordinary differential equations.
hafar
Affine arithmetic library for Haskell
pyUngewiss
Python librarY for UNcertainty analysis in liGhtwEight desiGn with IntervalS and fuzzy numberS
Interval-RPN-Calculator
Terminal App that mimics an HP RPN calculator using Interval Arithmetic for Windows/OSX/Linux. Output is an interval that contains exact solution. Uses Boost Interval library.
MCPy
MCPy is a python library for McCormick relaxations with sub-gradients. This is quite useful for prototyping and testing new convex relaxation and global optimization algorithms.
IntSharp
A rigorous interval arithmetic library for .NET
interval
A header only C++ interval and interval set
MPFI.jl
Julia wrapper of the MPFI multi-precision interval library
python-interval-arithmetic
A Python Interval Arithmetic Module
cuinterval
CUDA Interval Arithmetic Library
intervalAdjointSigAnalysis
msThesis
uglibs
uglibs is a collection of c++ libraries
machida
A library for the representation and propagation of uncertainty
int
An interval-arithmetic-ish library with a terrible name.
sicp-interval-arithmetic
Data abstractions for basic Interval arithmetic in Scheme (+ LISP)
NewtonPolynomials
Newton polynomial interval arithm qt c++ PUT Pl
cliarith
A simple trial implementation of interval arithmetic in Common Lisp.
interval-arithmetic
an implementation of interval arithmetic
octave-interval-examples
Examples of interval data analysis in Octave
FuzzyMath
Small lightweight library for Python (version >= 3.7) that performs basic Interval and Fuzzy Arithmetic.
Intervallum
Interval computations
intervals
Interval arithmetic for Python using algebraic data types
QtEan
Solving linear equations with interval arithmetic
SitoEratostenesa
Liczby pierwsze z danego przedziału.
EAGOParametricInterval.jl
A library for bounding functions via parametric interval methods
NonLinear
A program that solves non-linear equations numerically, using floating point and interval arithmetics
ean-projekt
interval arithmetic