All Categories → No Category → rigorous

Top 2 rigorous open source projects

ProbabilityBoundsAnalysis.jl

Probability bounds analysis in Julia

✭ 17

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

An interval library for OCaml

✭ 14

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

1-2 of 2 rigorous projects