GitHub topics: interval-arithmetic
mansooralodhi/nnpruning
The works focus on pruning a neural network, structurally, based on the sensitivity of weights that cover the entire output range of the loss function..
Language: Jupyter Notebook - Size: 1.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

JuliaIntervals/IntervalArithmetic.jl
Library for validated numerics using interval arithmetic
Language: Julia - Size: 4.18 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 313 - Forks: 70

AndrosovAS/intvalpy
IntvalPy - a Python interval computation library
Language: Python - Size: 6.43 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 12 - Forks: 3

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.
Language: C++ - Size: 118 MB - Last synced at: about 9 hours ago - Pushed at: about 1 month ago - Stars: 443 - Forks: 62

shaoyuanxun/MCPy
MCPy is a python library for McCormick relaxations with sub-gradients. This is quite useful for prototyping and testing new convex relaxation and global optimization algorithms.
Language: Jupyter Notebook - Size: 10.3 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0

JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
Language: Julia - Size: 13.8 MB - Last synced at: 19 days ago - Pushed at: 27 days ago - Stars: 201 - Forks: 17

mauriciopoppe/interval-arithmetic
An implementation of an algebraically closed interval system of the extended real number set
Language: TypeScript - Size: 1.52 MB - Last synced at: 18 days ago - Pushed at: about 2 months ago - Stars: 93 - Forks: 9

google/autobound
AutoBound automatically computes upper and lower bounds on functions.
Language: Python - Size: 509 KB - Last synced at: 19 days ago - Pushed at: 12 months ago - Stars: 359 - Forks: 19

ariadne-cps/ariadne
C++ framework for rigorous computation on cyber-physical systems
Language: C++ - Size: 20 MB - Last synced at: 24 days ago - Pushed at: 25 days ago - Stars: 29 - Forks: 9

lucaferranti/DedekindCutArithmetic.jl
Exact real arithmetic using Dedekind cuts
Language: Julia - Size: 730 KB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 7 - Forks: 0

JuliaIntervals/IntervalBoxes.jl
Multi-dimensional interval boxes
Language: Julia - Size: 59.6 KB - Last synced at: 22 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 2

mansooralodhi/intervalAdjointSigAnalysis
msThesis
Language: Python - Size: 25.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

rnabioco/valr
Genome Interval Arithmetic in R
Language: R - Size: 69.2 MB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 91 - Forks: 25

unageek/inari
A Rust implementation of interval arithmetic (IEEE 1788)
Language: Rust - Size: 760 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 39 - Forks: 2

DSCF-1224/ieee1788_fortran
Language: Fortran - Size: 42 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

BiocPy/IRanges
IRanges in Python
Language: Python - Size: 603 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 3 - Forks: 0

JuliaIntervals/IntervalRootFinding.jl
Library for finding the roots of a function using interval arithmetic
Language: Julia - Size: 1.45 MB - Last synced at: 26 days ago - Pushed at: about 2 months ago - Stars: 131 - Forks: 25

JuliaReach/IntervalMatrices.jl
Matrices with interval coefficients in Julia
Language: Julia - Size: 637 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 19 - Forks: 2

ASAG-ISCAS/PyBDR
Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
Language: Python - Size: 5.09 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 2

JuliaIntervals/IntervalLinearAlgebra.jl
Linear algebra done rigorously
Language: Julia - Size: 1.84 MB - Last synced at: 22 days ago - Pushed at: 10 months ago - Stars: 38 - Forks: 11

JuliaIntervals/MPFI.jl 📦
Julia wrapper of the MPFI multi-precision interval library
Language: Julia - Size: 23.4 KB - Last synced at: 22 days ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 2

JuliaIntervals/IntervalOptimisation.jl
Rigorous global optimisation
Language: Julia - Size: 57.6 KB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 58 - Forks: 21

staircase-dev/piso
Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
Language: Python - Size: 463 KB - Last synced at: 20 days ago - Pushed at: 5 months ago - Stars: 26 - Forks: 2

torsknod2/ieee1788-ada
Ada Native IEEE 1788 library
Language: Ada - Size: 11.7 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

vladimir-skvortsov/spbstu-interval-anylysis
Лабораторные работы по дисциплине «интервальный анализ».
Language: Jupyter Notebook - Size: 16.6 MB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

childsish/interval
A header only C++ interval and interval set
Language: C++ - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 3

gchudnov/mindthegap
Intervals, Relations, and Algorithms
Language: Scala - Size: 1.26 MB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 1

fastrgv/Interval-RPN-Calculator
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.
Language: Ada - Size: 2.59 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

neilkichler/cuinterval
CUDA Interval Arithmetic Library
Language: C++ - Size: 506 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

biyori-sh/cliarith
A simple trial implementation of interval arithmetic in Common Lisp.
Language: Common Lisp - Size: 8.79 KB - Last synced at: 10 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

JuliaIntervals/IntervalContractors.jl
Interval contractors and inverse (reverse) functions for Julia
Language: Julia - Size: 181 KB - Last synced at: 22 days ago - Pushed at: 10 months ago - Stars: 10 - Forks: 10

flintlib/arb
Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
Language: C - Size: 9.98 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 457 - Forks: 135

swapp-ai/extents
An Intervals Library Implemented in Pure Python
Language: Python - Size: 32.2 KB - Last synced at: 24 days ago - Pushed at: 11 months ago - Stars: 2 - Forks: 1

hiwane/interval-arithmetic
an implementation of interval arithmetic
Language: Go - Size: 1.95 KB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

unageek/graphest
A faithful graphing calculator
Language: Rust - Size: 17.6 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 86 - Forks: 1

DanIsraelMalta/Interval-arithmetic
an Interval arithmetic class for matlab
Language: MATLAB - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 10 - Forks: 1

liuvince/polytech-interval-arithmetic
Interval arithmetic C library
Language: C - Size: 575 KB - Last synced at: 7 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

neilkichler/sobolev-pruning
Towards Sobolev Pruning (PASC'24 Conference Paper)
Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

szhilin/octave-interval-examples
Examples of interval data analysis in Octave
Language: Jupyter Notebook - Size: 1.09 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

hejmsdz/NonLinear
A program that solves non-linear equations numerically, using floating point and interval arithmetics
Language: C++ - Size: 479 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

Chris00/ocaml-interval
An interval library for OCaml
Language: OCaml - Size: 423 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3

eseraygun/rust-honestintervals
A comprehensive, correctly rounding interval arithmetic library for Rust
Language: Rust - Size: 108 KB - Last synced at: 9 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 3

yudi-matsuzake/uglibs
uglibs is a collection of c++ libraries
Language: C++ - Size: 461 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

tadd/int
An interval-arithmetic-ish library with a terrible name.
Language: Ruby - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

szhilin/kinterval
Octave package for Kaucher interval arithmetic
Language: MATLAB - Size: 90.8 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

rodrigogiraoserrao/interval-SPCA
Symbolic principal component analysis of interval-valued data
Language: R - Size: 768 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

Soupstraw/hafar
Affine arithmetic library for Haskell
Language: Haskell - Size: 61.5 KB - Last synced at: 10 days ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

kevinclancy/levitate
Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.
Language: Haskell - Size: 9.77 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

zperkowski/QtEan
Solving linear equations with interval arithmetic
Language: C++ - Size: 56.6 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

soarlab/gelpia
Rigorous Global Branch-and-Bound Optimizer
Language: Python - Size: 2.85 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 14 - Forks: 5

cryvosh/TemporalSetInversion
Reference implementation for "Temporal Set Inversion for Animated Implicits" (SIGGRAPH 2023)
Language: C++ - Size: 39 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 3

LoliGothick/Cranberries 📦
Language: C++ - Size: 20 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 26 - Forks: 3

KarolWes/NewtonPolynomials
Newton polynomial interval arithm qt c++ PUT Pl
Language: C++ - Size: 114 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

xlxs4/sicp-interval-arithmetic
Data abstractions for basic Interval arithmetic in Scheme (+ LISP)
Language: Scheme - Size: 3.91 KB - Last synced at: about 20 hours ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

baharev/mindiffver 📦
Computing the noncentral-F distribution and the power of the F-test with guaranteed accuracy
Language: C++ - Size: 1.6 MB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

AnderGray/MomentArithmetic.jl
Rigorous moment propagation with partial information about moments and dependencies in Julia
Language: Julia - Size: 53.7 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 12 - Forks: 0

zborffs/set-inversion
implementation of set-inversion algorithm
Language: C++ - Size: 221 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

selmaohneh/IntSharp
A rigorous interval arithmetic library for .NET
Language: C# - Size: 43.9 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 1

JCSadeghi/Efficient-Training-of-Interval-Neural-Networks-for-Imprecise-Training-Data Fork of MrGemy95/Tensorflow-Project-Template
Experiments from Efficient Training of Interval Neural Networks for Imprecise Training Data
Language: Python - Size: 123 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 5 - Forks: 2

JCSadeghi/PyIPM
A python port of the OpenCossan Interval Predictor Model toolbox
Language: Python - Size: 162 KB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 2

e-dub/pyUngewiss
Python librarY for UNcertainty analysis in liGhtwEight desiGn with IntervalS and fuzzy numberS
Language: Python - Size: 612 KB - Last synced at: 10 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

JanCaha/FuzzyMath
Small lightweight library for Python (version >= 3.7) that performs basic Interval and Fuzzy Arithmetic.
Language: Python - Size: 304 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

kamilkhanlab/ob-ode-relaxations
Proof-of-concept implementation of a new method for computing convex relaxations for parametric ordinary differential equations.
Language: MATLAB - Size: 126 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

RyanBalfanz/go-timeint
Size: 6.84 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

wol4aravio/Intervallum
Interval computations
Language: Python - Size: 112 KB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

FabriceSalvaire/python-interval-arithmetic
A Python Interval Arithmetic Module
Language: Python - Size: 1.51 MB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

andrew-lei/intervals
Interval arithmetic for Python using algebraic data types
Language: Python - Size: 4.88 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 1

Programtica/SitoEratostenesa
Liczby pierwsze z danego przedziału.
Language: Java - Size: 28.3 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

KolorowyAleksander/ean-projekt
interval arithmetic
Language: Python - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0
