Forge
PEQUAN Software
AffApy : python library for multiprecision Affine Arithmetic
AffApy is a Python library for multiprecision Affine Arithmetic
Project Leader : Thibault HILAIRE
01/2020
CADNA : Control of Accuracy and Debugging for Numerical Application
CADNA is a library which allows to perform scientific computations with the estimation and the control of the round-off error propagation.
Project Leader : Fabienne JEZEQUEL
01/1992
ExBLAS : Exact Basic Linear Algebra Subprograms
ExBLAS aims at providing algorithms and implementations for fundamental linear algebra operations (like those included in the BLAS library) that deliver reproducible and accurate results with small or without losses to their performance on modern parallel architectures.
Project Leader : Stef GRAILLAT
01/2014
FiXiF : Reliable fixed-point implementation of linear signal processing (and control) algorithms
FiXiF is a suite of tools used to implement filters on embedded devices (usually DSP, micro-controllers, FPGA or ASIC) with finite-precision impact in minds (fixed- or floating-point arithmetic).
Project Leader : Thibault HILAIRE
08/2017
HPDDM : high-performance unified framework for domain decomposition methods
HPDDM is a collection of preconditioners based on domain decomposition, either overlapping or non-overlapping. They can be used to solve large linear systems, as typically encountered when discretizing partial differential equations. These preconditioners can be used in conjunction with various Krylov methods. The library is usable in C, C++, Python, or Fortran codes.
Project Leader : Pierre JOLIVET
12/2022
MUMPS : MUltifrontal Massively Parallel Sparse direct Solver
Solver for sparse linear systems. The collaboration between LIP6 and Mumps Tech deals with the use of mixed precision low rank compression, in the context of the CIFRE PhD thesis of M. Gerest funded by EDF.
Project Leader : Théo MARY
11/2020
PROMISE : PRecision OptiMISE
PROMISE is a tool to auto-tune the precision of floating-point variables in numerical codes.
Project Leader : Fabienne JEZEQUEL
01/2016
SAFE : Stochastic Arithmetic with Flexible Exponent
SAFE estimates rounding errors and detects numerical instabilities in programs using floating-point numbers with arbitrary mantissa-length and arbitrary exponent-length.
Project Leader : Fabienne JEZEQUEL
09/2024
SAM : Stochastic Arithmetic in Multiprecision
The SAM library enables rounding error estimation in arbitrary precision programs.
Project Leader : Fabienne JEZEQUEL
01/2010
