interval-arithmetic
There are 67 repositories under interval-arithmetic topic.
flintlib/arb
Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
stillwater-sc/universal
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.
google/autobound
AutoBound automatically computes upper and lower bounds on functions.
JuliaIntervals/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
JuliaIntervals/IntervalRootFinding.jl
Library for finding the roots of a function using interval arithmetic
unageek/graphest
A faithful graphing calculator
rnabioco/valr
Genome Interval Arithmetic in R
mauriciopoppe/interval-arithmetic
An implementation of an algebraically closed interval system of the extended real number set
JuliaIntervals/IntervalOptimisation.jl
Rigorous global optimisation in pure Julia
JuliaIntervals/IntervalLinearAlgebra.jl
Linear algebra done rigorously
unageek/inari
A Rust implementation of interval arithmetic (IEEE 1788)
ariadne-cps/ariadne
C++ framework for rigorous computation on cyber-physical systems
staircase-dev/piso
Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
soarlab/gelpia
Rigorous Global Branch-and-Bound Optimizer
JuliaReach/IntervalMatrices.jl
Matrices with interval coefficients in Julia
Chris00/ocaml-interval
An interval library for OCaml
cryvosh/TemporalSetInversion
Reference implementation for "Temporal Set Inversion for Animated Implicits" (SIGGRAPH 2023)
AnderGray/MomentArithmetic.jl
Rigorous moment propagation with partial information about moments and dependencies in Julia
ASAG-ISCAS/PyBDR
Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
AndrosovAS/intvalpy
IntvalPy - a Python interval computation library
DanIsraelMalta/Interval-arithmetic
an Interval arithmetic class for matlab
JuliaIntervals/IntervalContractors.jl
Interval contractors and inverse (reverse) functions for Julia
JCSadeghi/Efficient-Training-of-Interval-Neural-Networks-for-Imprecise-Training-Data
Experiments from Efficient Training of Interval Neural Networks for Imprecise Training Data
eseraygun/rust-honestintervals
A comprehensive, correctly rounding interval arithmetic library for Rust
lucaferranti/DedekindCutArithmetic.jl
Exact real arithmetic using Dedekind cuts
JCSadeghi/PyIPM
A python port of the OpenCossan Interval Predictor Model toolbox
JuliaIntervals/IntervalBoxes.jl
Multi-dimensional interval boxes in Julia
kevinclancy/levitate
Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.
BiocPy/IRanges
IRanges in Python
liuvince/polytech-interval-arithmetic
Interval arithmetic C library
baharev/mindiffver
Computing the noncentral-F distribution and the power of the F-test with guaranteed accuracy
gchudnov/mindthegap
Intervals, Relations, and Algorithms
rodrigogiraoserrao/interval-SPCA
Symbolic principal component analysis of interval-valued data
swapp-ai/extents
An Intervals Library Implemented in Pure Python