interval-arithmetic topic

Computing reachable states of dynamical systems in Julia

JuliaReach

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

stillwater-sc

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

flintlib

Library for finding the roots of a function using interval arithmetic

JuliaIntervals

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

mauriciopoppe

Genome Interval Arithmetic in R

rnabioco

loliGothicK

Matrices with interval coefficients in Julia

JuliaReach

Linear algebra done rigorously

JuliaIntervals

Rigorous global optimisation in pure Julia

JuliaIntervals