Forge
Logiciels PEQUAN
AffApy : python library for multiprecision Affine Arithmetic
AffApy est une bibliothèque Python pour du calcul en arithmétique affine multiprécision
Project Leader : Thibault HILAIRE
01/2020
CADNA : Control of Accuracy and Debugging for Numerical Application
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
01/1992
ExBLAS : Exact Basic Linear Algebra Subprograms
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/2014
FiXiF : Reliable fixed-point implementation of linear signal processing (and control) algorithms
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
08/2017
HPDDM : high-performance unified framework for domain decomposition methods
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
12/2022
MUMPS : MUltifrontal Massively Parallel Sparse direct Solver
Logiciel de résolution de systèmes linéaires creux. La collaboration du LIP6 avec Mumps Tech SAS porte sur l'utilisation de représentations de rang faible en précision mixte, dans le contexte de la thèse CIFRE de M. Gerest financée par EDF.
Project Leader : Théo MARY
11/2020
PROMISE : PRecision OptiMISE
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/2016
SAFE : Stochastic Arithmetic with Flexible Exponent
SAFE permet d'estimer les erreurs d'arrondi et de détecter les instabilités numériques dans les programmes où les nombres flottants ont une mantisse et un exposant de taille arbitraire.
Project Leader : Fabienne JEZEQUEL
09/2024
SAM : Stochastic Arithmetic in Multiprecision
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/2010
