AutoBound automatically computes upper and lower bounds on functions.
-
Updated
Oct 24, 2025 - Python
#
interval-arithmetic
Here are 37 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
A Python Interval Arithmetic Module
-
Updated
Jan 22, 2019 - Python
A computational and formal workbench around the Riemann zeta function: kernel-checked Lean proofs, ball-arithmetic enclosures, structure-matched negative controls, and the dead ends published beside the results. Makes no claim of progress toward RH.
reproducible-research proof-assistant computational-mathematics arbitrary-precision riemann-zeta interval-arithmetic formal-verification number-theory mathlib mpmath riemann-hypothesis lean4 ai-for-math
-
Updated
Aug 16, 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
Arbitrary precision floating / ball arithmetic (interval arithmetic) dtype in NumPy / array API
-
Updated
Aug 15, 2026 - Python
Static precondition checker for numerical JAX programs: declare a box, get a stamped VERIFIED/REFUTED/UNKNOWN with a runnable witness. Zero required dependencies.
python static-analysis scientific-computing z3 interval-arithmetic smt smt-solver formal-verification preconditions abstract-interpretation jax numerical-computing cvc5
-
Updated
Aug 15, 2026 - Python
Small lightweight library for Python (version >= 3.7) that performs basic Interval and Fuzzy Arithmetic.
-
Updated
Dec 20, 2023 - Python
Rigorous ball/interval arithmetic for Python: sound enclosures with documented directed-rounding guarantees, plus certified interval-Newton root isolation.
python numpy interval-arithmetic rigorous-numerics verified-computing ball-arithmetic certified-computing
-
Updated
Aug 14, 2026 - 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
Aug 11, 2026 - Python
Certified 15.85 ppb rational–logarithmic approximation to the perimeter of an ellipse (Arb interval-arithmetic certificate)
-
Updated
Aug 5, 2026 - 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."