Pinned Repositories
fuzzy
A fuzzy ecosystem for evaluating the stability of your computational tools.
significantdigits
Solid statistical analysis of Stochastic Arithmetic.
sr-karatsuba
Numerical experiments of the paper "Error Analysis of sum-product algorithms under stochastic rounding".
sr-non-linear-bounds
sr-variance-bounds
Scripts to reproduce the numerical experiments of the paper « Stochastic Rounding Variance and Probabilistic Bound: a New Approach »
verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
verificarlo_tutorial
Tutorial for Verificarlo
vfc_ci_tutorial
Tutorial repository for the CI functionality of Verificarlo
Verificarlo's Repositories
verificarlo/verificarlo
A tool for debugging and assessing floating point precision and reproducibility.
verificarlo/fuzzy
A fuzzy ecosystem for evaluating the stability of your computational tools.
verificarlo/significantdigits
Solid statistical analysis of Stochastic Arithmetic.
verificarlo/verificarlo_tutorial
Tutorial for Verificarlo
verificarlo/sr-karatsuba
Numerical experiments of the paper "Error Analysis of sum-product algorithms under stochastic rounding".
verificarlo/sr-non-linear-bounds
verificarlo/sr-variance-bounds
Scripts to reproduce the numerical experiments of the paper « Stochastic Rounding Variance and Probabilistic Bound: a New Approach »
verificarlo/vfc_ci_tutorial
Tutorial repository for the CI functionality of Verificarlo