HPDDM est une collection de préconditionneurs basés sur le paradigme de la décomposition de domaine, avec ou sans recouvrement. Ils peuvent être utilisés pour résoudre de grands systèmes linéaires, comme on en rencontre généralement lors de la discrétisation d'équations aux dérivées partielles. Ces préconditionneurs peuvent être utilisés avec diverses méthodes Krylov. La bibliothèque est utilisable dans les codes C, C++, Python ou Fortran.
Project Leader : Pierre JOLIVET
01/12/2022
FiXiF est une suite d’outils utilisés pour implémenter des filters sur des systèmes embarqués (tels que DSP, micro-controlleurs, FPGA ou ASIC) avec l’impact de la précision finie (virgule fixe et flottante).
Project Leader : Thibault HILAIRE
01/08/2017
PROMISE est un logiciel permettant de déterminer automatiquement la précision adéquate des variables dans un code numérique.
Project Leader : Fabienne JEZEQUEL
01/01/2016
ExBLAS fournit une version performante des algorithmes fondamentaux d'algèbre linéaire dont les résultats sont précis et reproductibles.
Project Leader : Stef GRAILLAT
01/01/2014
SAM est une bibliothèque qui permet d'estimer et de contrôler la propagation des erreurs d'arrondi dans les programmes en précision arbitraire.
Project Leader : Fabienne JEZEQUEL
01/01/2010
CADNA est une bibliothèque qui permet de faire du calcul scientifique sur ordinateur en estimant et contrôlant la propagation des erreurs d'arrondi
Project Leader : Fabienne JEZEQUEL
10/01/1992