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
  • CM: Construction de corps de classes d'ordres quadratiques et de courbes elliptiques à multiplication complexe via des approximations flottantes The CM software implements the construction of ring class fields of imaginary quadratic number fields and of elliptic curves with complex multiplication via floating point approximations. It consists of libraries that can be called from within a C program and of executable command line applications. For the implemented algorithms, see A. Enge, The complexity of class polynomial computation via floating point approximations, Mathematics of Computation 78 (266), 2009, pp. 1089–1107.
    Version actuelle : 0.3.1 - September 2020 - License: GPLv3+
  • 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.
    Version actuelle : 1.2.0 - August 2020 - License: LGPLv3+
  • KleinianGroups: Paquet Magma qui calcule des domaines fondamentaux de groupes kleinéens arithmétique
  • 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 - August 2020 - 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 widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves, modular forms, L functions...), but also contains a large number of other useful functions to compute with mathematical entities such as matrices, polynomials, power series, algebraic numbers etc., and a lot of transcendental functions. 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.11.4 - 2020-04-03 - 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
  • openCARP: Simulateur d'électrophysiologie cardiaque pour les expériences in-silico

Mathématiques pour la Dynamique des Populations dont :

  • FracLab: A fractal analysis toolbox for signal and image processing

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
  • PCAmixdata: Analyse multidimentionnelle de données mixtes
  • QuantifQuantile: Estimation des quantiles conditionnels en utilisant la quantification optimale
  • ddsPLS: Data-Driven Sparse Partial Least Squares Robust to Missing Samples for Mono and Multi-Block Data Sets
  • edrGraphicalTools: Outils pour les méthodes de réduction de dimensions

Mettre à jour