Logiciels

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 - March 2016 - 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.1.0 - January 2018 - 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 (MPFR) or complex (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.5 - May 2018 - License: LGPLv2.1+
• 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.2 - 2019-04-28 - 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
• CARCINOM: Régression non linéaire de la croissance tumorale et des modèles de thérapie et l’inférence statistique
• CEPS: Simulations numériques de l’électrophysiologie cardiaque comprenant un moteur de simulation spécifique à la cardiologie Le projet a migré sur https://gitlab.inria.fr/carmen/ceps. Plus aucun commit ne peut être écrit ici. Pour lier votre version de travail à la nouvelle adresse, faire: git remote set-url origin git@gitlab.inria.fr:carmen/ceps.git
  
• Cadmos: Plateforme de calcul de modèles mathématiques issues de la mécanique des fluides, utilisée en biologie (croissance de tumeurs cancéreuses)
• Mmg: Mailleurs automatiques triangulaires bidimensionnels, surfaciques ou tétraédriques
• NS2D/NS3D: Modélisation d’écoulements turbulents 2D et 3D autour d’obstacles poreux ou solides Logiciel de mécanique des fluides numérique pour la modélisation d'écoulements turbulents 2D et 3D autour d'obstacles poreux ou solides de géométrie variable.
  Mots clés : Navier-Stokes, pénalisation, multigrille, parallélisation MPI.
  
• PapriK: Bibliothèque qui permet de factoriser tous les traitements d’images médicales

Image Optimisation et Probabilités dont :

• NL-SAR: Débruitage d’images radar SAR

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

• BIIPS: Inférence bayésienne avec des systèmes de particules en interaction Biips is a general software for Bayesian inference using interacting particle systems, aka sequential Monte Carlo methods. It aims at popularizing the use of these methods to researchers and students, thanks to its automated black box inference engine.
  
• 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
• edrGraphicalTools: Outils pour les méthodes de réduction de dimensions

Mettre à jour