AutoBound automatically computes upper and lower bounds on functions.
-
Updated
Oct 24, 2025 - Python
#
interval-arithmetic
Here are 26 public repositories matching this topic...
Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
set data-science pandas set-theory data-structures data-analysis interval interval-arithmetic set-operations interval-set
-
Updated
Jun 8, 2026 - Python
Rigorous Global Branch-and-Bound Optimizer
-
Updated
Dec 13, 2024 - Python
Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
-
Updated
Jan 16, 2026 - Python
IntvalPy - a Python interval computation library (interval arithmetic)
visualization python machine-learning uncertainty interval-arithmetic intervals data-fitting inequalities
-
Updated
Apr 25, 2026 - Python
Experiments from Efficient Training of Interval Neural Networks for Imprecise Training Data
machine-learning tensorflow neural-networks uncertainty-neural-networks interval-arithmetic uncertainty-quantification
-
Updated
Jul 25, 2019 - Python
A python port of the OpenCossan Interval Predictor Model toolbox
data-science machine-learning statistical-learning interval-analysis interval-arithmetic uncertainty-quantification interval-predictor-model imprecise-probability open-cossan
-
Updated
Sep 29, 2020 - Python
An Intervals Library Implemented in Pure Python
-
Updated
Feb 10, 2026 - Python
Certified first 1,000 nontrivial zeros of the Riemann zeta function using a dual-evaluator (mpmath ζ + η‐series) contour method with strict Krawczyk isolation and automatic refinement.
python computational-mathematics interval-arithmetic interval-arithmetic-evaluator mpmath riemann-hypothesis analytic-number-theory zeta-function winding-number-algorithm argument-principle krawczyk zeta-zeros rigorous-verification
-
Updated
Nov 20, 2025 - Python
Certified log-concavity of the Riemann-Jacobi kernel with Arb/FLINT ball-arithmetic certificates. Source-critical audit of the Polya-type real-zero criterion. No unconditional RH claim.
python certificate verification arbitrary-precision interval-arithmetic number-theory arb polya aee riemann-hypothesis lean4 mathematical-proof falsification spectral-theory epistemic-engineering source-audit log-concavity arb-flint ball-arithmetic
-
Updated
Jun 4, 2026 - Python
N/U Algebra: A Conservative Linear Approach to Uncertainty Propagation
reproducible-research aerospace scientific-computing interval-arithmetic uncertainty-quantification metrology nu-algebra conservative-bounds
-
Updated
Jun 5, 2026 - Python
A Python Interval Arithmetic Module
-
Updated
Jan 22, 2019 - Python
Arbitrary precision floating / ball arithmetic (interval arithmetic) dtype in NumPy / array API
-
Updated
Jul 17, 2026 - Python
Python librarY for UNcertainty analysis in liGhtwEight desiGn with IntervalS and fuzzy numberS
python python3 uncertainty fuzzy interval interval-arithmetic uncertainty-quantification intervals uncertainties fuzzy-numbers possibilistic lightweight-engineering-design bounded-uncertainty
-
Updated
Apr 11, 2023 - Python
Small lightweight library for Python (version >= 3.7) that performs basic Interval and Fuzzy Arithmetic.
-
Updated
Dec 20, 2023 - Python
Pre-registered, kernel-checked certification of a pretrained language model — full-vocabulary exact-real next-token certificates, a Hoeffding population bound announced by the verifier itself, and honest limits throughout
interval-arithmetic formal-verification ai-safety interpretability gpt2 pre-registration lean4 certified-inference
-
Updated
Jul 4, 2026 - Python
Certified spectral instability of the excited De Gregorio profile f₃ - interval-arithmetic certificates, one-command reproduction, and diagnostics for CAP pipelines.
reproducible-research euler-equations interval-arithmetic fluid-dynamics arb computer-assisted-proof rigorous-numerics de-gregorio self-similar-blowup spectral-instability
-
Updated
Jul 10, 2026 - Python
Interval arithmetic for Python using algebraic data types
-
Updated
Apr 26, 2018 - Python
Improve this page
Add a description, image, and links to the interval-arithmetic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the interval-arithmetic topic, visit your repo's landing page and select "manage topics."