#

rigorous

Here are 5 public repositories matching this topic...

unageek / inari

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

AnderGray / ProbabilityBoundsAnalysis.jl

Probability bounds analysis in Julia

probability arithmetic intervals rigorous imprecise-probability probability-bounds-analysis

Updated Jul 12, 2022
Julia

soarlab / gelpia

Rigorous Global Branch-and-Bound Optimizer

optimizer global-optimization interval-arithmetic rigorous

Updated May 16, 2024
Python

Chris00 / ocaml-interval

An interval library for OCaml

ocaml scientific-computing interval-arithmetic validated rigorous computer-assisted-proof

Updated Dec 9, 2022
OCaml

Daisuke-Kanaizumi / q-special-functions

programs for q-special functions and q-series

validated rigorous

Updated Nov 14, 2019
C++

Improve this page

Add a description, image, and links to the rigorous topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the rigorous topic, visit your repo's landing page and select "manage topics."