Algorithmique Arithmétique

• Arb : Bibliothèque pour une arithmétique rigoureuse sur les réels et les complexes en précision arbitraire
• Calcium: C library for exact computation with real and complex numbers
• Cm : Construction de corps de classes d’ordres quadratiques et de courbes elliptiques à multiplication complexe via des approximations flottantes
• Cmh : Calcul de thêta-constantes à précision arbitraire et calcul de polynômes de classes
• Gnu Mpc : Bibliothèque pour l’arithmétique de nombres complexes de précision arbitraire et avec un arrondi correct du résultat
• Mpfrcx : Bibliothèque pour l’arithmétique des polynômes univariés réels (MPFR) ou complexes (MPC) en précision arbitraire, sans contrôle de l’arrondi
• 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…)

Calcul scientifique et 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
• Monc : Plateforme logicielle pour l’oncologie
• 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
• Neos : framework C++ de prototypage rapide pour la simulation numérique
• openCARP : Simulateur d’électrophysiologie cardiaque pour les expériences in-silico

Image Optimisation et Probabilités

• NL-SAR: Débruitage d’images radar SAR
• RealTITracker: A toolbox for real-time 2D/3D optical flow based medical image registration
• SUGAR: Stein Unbiased GrAdient estimator of the Risk

Optimisation Mathématique Modèle Aléatoire et Statistique

• BIIIPS : Inférence bayésienne avec des systèmes de particules en interaction
• BapCod : Prototype qui résout les programmes MIP (Mixed Integer Programs) en appliquant des techniques de reformulation et de décomposition
• ClustOfVar : Clustering de variables
• CoVVSURF : Combinaison de regroupement de variables et de sélection de variables à l’aide de forêts aléatoires
• FracLab : A fractal analysis toolbox for signal and image processing
• PCAmixdata : Analyse multidimentionnelle de données mixtes
• vrpsolver : Solveur exact Branch-Cut-and-Price pour le routage de vehicules