interval-arithmetic

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.

AutoBound automatically computes upper and lower bounds on functions.

Library for validated numerics using interval arithmetic

Computing reachable states of dynamical systems in Julia

Library for finding the roots of a function using interval arithmetic

A faithful graphing calculator

Genome Interval Arithmetic in R

An implementation of an algebraically closed interval system of the extended real number set

Rigorous global optimisation

A Rust implementation of interval arithmetic (IEEE 1788)

Linear algebra done rigorously

C++ framework for rigorous computation on cyber-physical systems

Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex

Rigorous Global Branch-and-Bound Optimizer

Reference implementation for "Temporal Set Inversion for Animated Implicits" (SIGGRAPH 2023)

Matrices with interval coefficients in Julia

Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

An interval library for OCaml