The Arpra Project

All

2 repositories

arpra
Public
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
C
•
GNU Lesser General Public License v3.0
•2•23•3•0•Updated Nov 25, 2022Nov 25, 2022
mpfi
Public
Git fork of the original MPFI repository at https://gforge.inria.fr/scm/?group_id=157
C
•
GNU Lesser General Public License v3.0
•1•3•0•0•Updated Jul 1, 2021Jul 1, 2021