CADNA (Control of Accuracy and Debugging for Numerical Applications)
- Web Page
- The CADNA library allows to estimate the round-off error propagation on every scientific code written in FORTRAN or C++ language.
PROMISE (PRecision OptiMISE)
- Web Page
-
PROMISE is a tool to auto-tune the precision of floating-point variables in code. From an initial C or C++ program and a required accuracy on the computed results, PROMISE automatically modifies the floating-point types and maximizes the number of single precision variables.
SAM (Stochastic Arithmetic in Multiprecision)
- Web Page.
- The SAM library implements discrete stochastic arithmetic in arbitrary precision. It enables round-off error estimation in arbitrary precision programs.
|
|
Sollya
- Web Page.
- Sollya is both a tool environment and a library for safe floating-point code development. It is particularily targeted to the automatized implementation of mathematical floating-point libraries (libm).
Metalibm
- Web Page.
- a tool for the automatic implementation of mathematical (libm) functions. A function f is automatically transformed into Gappa-certified C code implementing an approximation polynomial in a given domain with given accuracy.
|