interval-arithmetic

There are 1 repository under interval-arithmetic topic.

• 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.

  arithmeticinteger-arithmeticfixed-point-arithmeticrational-arithmeticfloating-point-arithmeticposit-arithmeticinterval-arithmeticquarter-precisionhalf-precisionquad-precisionocta-precisionarbitrary-precisionarbitrary-precision-integersarbitrary-precision-arithmeticarbitrary-precision-floatsc-plus-plusembedded-systemsartificial-intelligencedigital-signal-processing
  Language:C++ 480

• flintlib / arb

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

  cinterval-arithmeticcomplex-numbersarbitrary-precisionmultiprecisionspecial-functionslinear-algebrafloating-pointnumber-theory
  Language:C 471

• google / autobound

  AutoBound automatically computes upper and lower bounds on functions.

  autodiffinterval-arithmeticjax
  Language:Python 362

• JuliaIntervals / IntervalArithmetic.jl

  Library for validated numerics using interval arithmetic

  interval-arithmeticjuliarigorous-numerics
  Language:Julia 317

• JuliaReach / ReachabilityAnalysis.jl

  Computing reachable states of dynamical systems in Julia

  numerical-analysishybrid-systemsformal-verificationcyber-physical-systemsreachability-analysisrigorous-numericsdifferential-equationsinterval-arithmeticdynamical-systemscontrol-systemsverificationodejuliaautomatic-controlsimulationsset-propagationflowpipe
  Language:Julia 206

• JuliaIntervals / IntervalRootFinding.jl

  Library for finding the roots of a function using interval arithmetic

  interval-arithmeticjuliaroot-finding-methods
  Language:Julia 131

• unageek / graphest

  A faithful graphing calculator

  graphing-calculatorinterval-arithmeticplotgraphartmathmathematicseducationrust
  Language:Rust 123

• mauriciopoppe / interval-arithmetic

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

  interval-arithmeticintervalinterval-arithmetic-evaluatormathprecision
  Language:TypeScript 95

• rnabioco / valr

  Genome Interval Arithmetic in R

  bedtoolsgenomeinterval-arithmetic
  Language:R 94

• JuliaIntervals / IntervalOptimisation.jl

  Rigorous global optimisation

  global-optimizationinterval-arithmeticjulia
  Language:Julia 62

• unageek / inari

  A Rust implementation of interval arithmetic (IEEE 1788)

  interval-arithmeticrustfloating-pointinariintervalintervalsarithmeticvalidatedrigorousieee1788
  Language:Rust 44

• JuliaIntervals / IntervalLinearAlgebra.jl

  Linear algebra done rigorously

  interval-arithmeticlinear-algebranumerics
  Language:Julia 39

• jyswjjgdwtdtj / CsGrafeq

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

  avaloniacsharpeducationgeometrygraphinterval-arithmeticmathmathematics
  Language:C# 39

• ariadne-cps / ariadne

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

  numerical-analysishybrid-systemsformal-verificationcyber-physical-systemsreachability-analysisinterval-arithmetic
  Language:C++ 29

• loliGothicK / Cranberries

  cppinterval-arithmeticstream-api
  Language:C++ 28
• piso

  staircase-dev / piso

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

  pandassetintervalinterval-setinterval-arithmeticdata-analysisdata-sciencedata-structuresset-operationsset-theory
  Language:Python 26

• soarlab / gelpia

  Rigorous Global Branch-and-Bound Optimizer

  optimizerinterval-arithmeticglobal-optimizationrigorous
  Language:Python 24

• ASAG-ISCAS / PyBDR

  Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

  interval-arithmeticreachability-analysis
  Language:Python 19

• JuliaReach / IntervalMatrices.jl

  Matrices with interval coefficients in Julia

  intervalsinterval-arithmeticmatrix-computationsmatrix-exponentialreachability-analysis
  Language:Julia 19

• cryvosh / TemporalSetInversion

  Reference implementation for "Temporal Set Inversion for Animated Implicits" (SIGGRAPH 2023)

  automatic-differentiationglobal-optimizationinterval-arithmeticroot-findingimplicit-surfacessigned-distance-fieldoctreewebgpuautodiffdifferentiable-programmingdifferentiable-renderingsdffrep
  Language:C++ 18

• Chris00 / ocaml-interval

  An interval library for OCaml

  scientific-computinginterval-arithmeticrigorousvalidatedocamlcomputer-assisted-proof
  Language:OCaml 16

• AnderGray / MomentArithmetic.jl

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

  imprecise-probabilityprobabilityarithmeticinterval-arithmeticuncertaintyuncertainty-propagationmoments
  Language:Julia 12

• AndrosovAS / intvalpy

  IntvalPy - a Python interval computation library

  pythonvisualizationinequalitiesintervalsinterval-arithmeticmachine-learninguncertainty
  Language:Python 12

• DanIsraelMalta / Interval-arithmetic

  an Interval arithmetic class for matlab

  interval-arithmeticregionmatherrornumerical-analysis
  Language:MATLAB 12

• lucaferranti / DedekindCutArithmetic.jl

  Exact real arithmetic using Dedekind cuts

  arbitrary-precisiondedekind-realsexact-realsinterval-arithmeticjulia
  Language:Julia 11

• JuliaIntervals / IntervalContractors.jl

  Interval contractors and inverse (reverse) functions for Julia

  contractorsinterval-arithmeticinverse-functionsreverse-functions
  Language:Julia 10

• JCSadeghi / Efficient-Training-of-Interval-Neural-Networks-for-Imprecise-Training-Data

  Experiments from Efficient Training of Interval Neural Networks for Imprecise Training Data

  machine-learningneural-networkstensorflowuncertainty-quantificationuncertainty-neural-networksinterval-arithmetic
  Language:Python 9

• victorpoughon / interval-calculator

  A calculator that works over interval unions

  calculatorinterval-arithmetictypescriptmath
  Language:TypeScript 9

• eseraygun / rust-honestintervals

  A comprehensive, correctly rounding interval arithmetic library for Rust

  rustinterval-arithmeticcorrect-roundingarbitrary-precisionmpfr
  Language:Rust 8

• JCSadeghi / PyIPM

  A python port of the OpenCossan Interval Predictor Model toolbox

  uncertainty-quantificationinterval-predictor-modelmachine-learningimprecise-probabilitydata-scienceinterval-analysisinterval-arithmeticopen-cossanstatistical-learning
  Language:Python 5

• JuliaIntervals / IntervalBoxes.jl

  Multi-dimensional interval boxes

  interval-arithmeticjulia
  Language:Julia 4

• kevinclancy / levitate

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

  affine-arithmeticinterval-arithmetichaskell
  Language:Haskell 4

• BiocPy / IRanges

  IRanges in Python

  interval-arithmeticiranges
  Language:Python 3

• gchudnov / mindthegap

  Intervals, Relations, and Algorithms

  interval-arithmeticallens-interval-algebrainterval-relationsscala
  Language:Scala 3

• liuvince / polytech-interval-arithmetic

  Interval arithmetic C library

  interval-arithmeticpolytechcfp-anrnumerical-algorithm-library
  Language:C 3

• neilkichler / cuinterval

  CUDA Interval Arithmetic Library

  cudainterval-arithmetic
  Language:C++ 3