Affine arithmetic library for Haskell

Proof-of-concept implementation of a method by Song and Khan (2022) for computing convex relaxations for parametric ordinary differential equations.

A Python Interval Arithmetic Module

Small lightweight library for Python (version >= 3.7) that performs basic Interval and Fuzzy Arithmetic.

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.

A program that solves non-linear equations numerically, using floating point and interval arithmetics

Towards Sobolev Pruning (PASC'24 Conference Paper)

uglibs is a collection of c++ libraries

Interval arithmetic C library

Exact real arithmetic using Dedekind cuts

Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.

Octave package for Kaucher interval arithmetic

Examples of interval data analysis in Octave

interval arithmetic

Computing the noncentral-F distribution and the power of the F-test with guaranteed accuracy

Liczby pierwsze z danego przedziału.

A simple trial implementation of interval arithmetic in Common Lisp.

Data abstractions for basic Interval arithmetic in Scheme (+ LISP)

IRanges in Python