interval-arithmetic

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.

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

AutoBound automatically computes upper and lower bounds on functions.

Library for validated numerics using interval arithmetic

Computing reachable states of dynamical systems in Julia

A faithful graphing calculator

Library for finding the roots of a function using interval arithmetic

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

Genome Interval Arithmetic in R

Rigorous global optimisation

A cross-platform geometry sketchpad and implicit function plotting tool, made by .NET Avalonia

A Rust implementation of interval arithmetic (IEEE 1788)

Linear algebra done rigorously

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

A calculator that works over interval unions

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

Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks

Rigorous Global Branch-and-Bound Optimizer

Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python