C library for arbitrary-precision ball arithmetic
Large collection of number systems providing custom arithmetic and mixed-precision algorithms for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.
Methods to compute sets of states reachable by dynamical systems
Find all roots of a function in a guaranteed way with Julia
An implementation of an algebraically closed interval system of the extended real number set
Rigorous global optimisation in pure Julia
A faithful graphing calculator
C++ framework for rigorous computation on cyber-physical systems
Linear algebra done rigorously
AutoBound automatically computes upper and lower bounds on functions.
Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
An interval library for OCaml
Matrices with interval coefficients in Julia
Rigorous Global Branch-and-Bound Optimizer
A Rust implementation of interval arithmetic (IEEE 1788)
Rigorous moment propagation with partial information about moments and dependencies in Julia
an Interval arithmetic class for matlab
IntvalPy - a Python interval computation library
Add a description, image, and links to the interval-arithmetic topic page so that developers can more easily learn about it.
To associate your repository with the interval-arithmetic topic, visit your repo's landing page and select "manage topics."
