- - - -
- - -

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.

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.


  • 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).


  • 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.