Library for validated numerics using interval arithmetic
-
Updated
Nov 13, 2024 - Julia
#
interval-arithmetic
Here are 67 public repositories matching this topic...
Library for finding the roots of a function using interval arithmetic
-
Updated
Nov 6, 2024 - Julia
C++ framework for rigorous computation on cyber-physical systems
interval-arithmetic
hybrid-systems
formal-verification
numerical-analysis
cyber-physical-systems
reachability-analysis
-
Updated
Nov 13, 2024 - C++
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.
c-plus-plus
artificial-intelligence
embedded-systems
arbitrary-precision
arithmetic
digital-signal-processing
interval-arithmetic
integer-arithmetic
half-precision
arbitrary-precision-integers
rational-arithmetic
floating-point-arithmetic
posit-arithmetic
arbitrary-precision-arithmetic
fixed-point-arithmetic
quarter-precision
quad-precision
octa-precision
arbitrary-precision-floats
-
Updated
Nov 16, 2024 - C++
Exact real arithmetic using Dedekind cuts
-
Updated
Oct 30, 2024 - Julia
Matrices with interval coefficients in Julia
-
Updated
Oct 19, 2024 - Julia
Computing reachable states of dynamical systems in Julia
julia
verification
ode
simulations
dynamical-systems
control-systems
differential-equations
interval-arithmetic
hybrid-systems
formal-verification
numerical-analysis
cyber-physical-systems
reachability-analysis
automatic-control
flowpipe
rigorous-numerics
set-propagation
-
Updated
Oct 19, 2024 - Julia
Intervals, Relations, and Algorithms
-
Updated
Sep 13, 2024 - Scala
A faithful graphing calculator
-
Updated
Aug 30, 2024 - Rust
Interval contractors and inverse (reverse) functions for Julia
-
Updated
Aug 24, 2024 - Julia
A Rust implementation of interval arithmetic (IEEE 1788)
rust
arithmetic
interval
floating-point
interval-arithmetic
intervals
validated
rigorous
inari
ieee1788
-
Updated
Aug 23, 2024 - Rust
Linear algebra done rigorously
-
Updated
Aug 13, 2024 - Julia
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.
-
Updated
Aug 12, 2024 - Ada
Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
-
Updated
Jul 28, 2024 - Python
An Intervals Library Implemented in Pure Python
-
Updated
Jul 3, 2024 - Python
AutoBound automatically computes upper and lower bounds on functions.
-
Updated
Jun 28, 2024 - 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."