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

No description provided.

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)

Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

Matrices with interval coefficients in Julia

An interval library for OCaml

IntvalPy - a Python interval computation library (interval arithmetic)

an Interval arithmetic class for matlab

Rigorous moment propagation with partial information about moments and dependencies in Julia

Interval contractors and inverse (reverse) functions for Julia

Exact real arithmetic using Dedekind cuts

A calculator that works over interval unions

A comprehensive, correctly rounding interval arithmetic library for Rust

A python port of the OpenCossan Interval Predictor Model toolbox

Multi-dimensional interval boxes