- - - -
- - -

PEQUAN : Software


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.

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.