L’IMB développe ou contribue au développement de plusieurs logiciels d’envergure nationale ou internationale.
Théorie des nombres, cryptographie
- Flint : Bibliothèque pour une arithmétique rapide en théorie des nombres
- Multiprecision : Bibliothèque pour l’arithmétique de multiprécision, avec applications aux courbes elliptiques et variétés abéliennes
- PARI/GP : Système de calcul formel très répandu, conçu pour des calculs rapides en arithmétique (factorisations, théorie algébrique des nombres, courbes elliptiques, formes modulaires…)
- SageMath : Contributions régulières au logiciel de calcul formel SageMath
- SQISign : Signature post-quantique à base d’isogénies
Calcul scientifique, modélisation
- AeroSol : Bibliothèque d’éléments finis d’ordre élevé, continus et discontinus, en maillages hybrides curvilignes
- CEPS : Simulations numériques de l’électrophysiologie cardiaque comprenant un moteur de simulation spécifique à la cardiologie
- Mmg : Mailleurs automatiques triangulaires bidimensionnels, surfaciques ou tétraédriques
- NSPMG : Modélisation d’écoulements 2D et 3D autour d’obstacles poreux ou solides. Simulation Numérique Directe (DNS) des équations de Navier-Stokes par une méthode de pénalisation et un solveur multigrille
- openCARP : Simulateur d’électrophysiologie cardiaque pour les expériences in-silico
- VFDIAM : Électrophysiologie cardiaque
Image
- Monc : Plateforme logicielle pour l’oncologie
Optimisation
- BapCod : Prototype qui résout les programmes MIP (Mixed Integer Programs) en appliquant des techniques de reformulation et de décomposition
- vrpsolver : Solveur exact Branch-Cut-and-Price pour le routage de vehicules
Statistique
- Stat : Bibliothèques R pour l’analyse de données multivariées et l’apprentissage non supervisé
