Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
static-analysis
scientific-computing
arbitrary-precision
numerical-analysis
affine-arithmetic
mpfr
range-analysis
-
Updated
Nov 25, 2022 - C