IMB > Espace Entreprise

Logiciels

Par thématiques

Liste détaillée

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
  • MPC: Bibliothèque pour l’arithmétique de nombres complexes de précision arbitraire et avec un arrondi correct du résultat GNU MPC is a C library for the arithmetic of complex numbers with arbitrarily high precision and correct rounding of the result. It extends the principles of the IEEE-754 standard for fixed precision real floating point numbers to complex numbers, providing well-defined semantics for every operation. At the same time, speed of operation at high precision is a major design goal.
    - License: LGPLv3+
  • 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 MPFRCX is a library for the arithmetic of univariate polynomials over arbitrary precision real (GNU MPFR) or complex (GNU MPC) numbers, without control on the rounding. The functions implemented are not very numerous and somewhat idiosyncratic: the main motivation behind the library is to have functionality available for the floating-point approach to complex multiplication. However, asymptotically fast routines such as Toom–Cook and the FFT for multiplication of polynomials are available, as well as fast routines for interpolation and evaluation based on trees of polynomials.
    Version actuelle : 0.6.3 - September 2021 - License: LGPLv3+
  • 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 sumation 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.15.3 - 2023-03-14 - 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