Logiciels

Par thématiques

Algorithmique Arithmétique dont :

• 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...) PARI/GP is a cross platform and open-source computer algebra system designed for fast computations in number theory: factorizations, algebraic number theory, elliptic curves, modular forms, L functions... It also contains a wealth of functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers, etc., and a lot of transcendental functions as well as numerical summation and integration routines. PARI is also available as a C library to allow for faster computations.
  Mots clés : Calcul formel, théorie algébriques des nombres, courbes elliptiques, fonctions transcendantes
  Version actuelle : 2.17.0 - 2024-09-30 - License: GPLv2+

Calcul scientifique et modélisation dont :

• 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 dont :

• 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 dont :

• BIIPS: 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

Mettre à jour