Logiciels développés dans les laboratoires de l'INSMI

L'INSMI est l'Institut des Sciences Mathématiques et de leurs Interactions du CNRS. Ci-dessous, sont listés les logiciels développés dans les laboratoires rattachés à l'INSMI (rattachement principal ou secondaire) et décrits dans PLUME sous forme de fiche Dév ESR.
Vous pouvez sélectionner un ou plusieurs laboratoires particuliers dans la liste déroulante. Pour (dé)sélectionner plusieurs éléments, maintenez la touche "Ctrl" de votre clavier appuyée. Vous pouvez faire de même pour sélectionner les logiciels suivant leur état de développement.
Dans la liste des logiciels, en cliquant sur le nom du logiciel, vous accédez à sa description.
Logicielicone de tri Description Etat du développement Laboratoire(s)
AITKENBRATU_2.5d

résolution du problème séparable (Bratu) par décomposition de Schwarz accélérée par Aitken

utilisé en interne CDCSP, ICJ
Algorithmique du texte

implémentation d'algorithmes de traitement du texte

diffusé, stable LIGM, LITIS
AS1DPSCR2D

Aitken-Schwarz 1D Partial Solution of Cyclic Reduction 2D

utilisé en interne CDCSP, ICJ
ASTL

librairie de manipulation d'automates écrite en C++

diffusé, stable LIGM
BeC3

création d'applications Internet des Objets (IdO)

en développement LIGM
BFL_DDM_PF

bases de Fourier locales et décomposition de domaine pour simuler un front de polymérisation

utilisé en interne CDCSP, ICJ
Bianchi.gp

calcul de domaine fondamental pour les groupes de Bianchi dans l'espace hyperbolique

diffusé, stable Institut Fourier
BioRica

décrire et simuler les systèmes multi-modèles en biologie

en développement INRIA Bordeaux, LABRI
BOMBEC

simulation du couplage fluide-structure en coordonnées eulériennes

utilisé en interne LJK, SPECTRO
CALDER

CAvitation en Lubrification et DEscription des effets de Rugosités

utilisé en interne ICJ, Labo Maths Orsay
CAPCC

construction parallèle de l'arbre des composantes connexes

en développement LIGM
CDiffA

résolution des problèmes de convection-diffusion avec adaptation de maillages

utilisé en interne ICJ
CGEM-EV

alternative au maximum de vraisemblance pour ajuster un modèle d'autocovariance à des données 2D

diffusé, stable LJK
Chemotaxis

approximation de modèles EDP (parabolique, hyperbolique et cinétique)

en développement ICJ
CiGri

grille de calcul “légère”

validé (au sens PLUME)
diffusé, stable
en développement
LIG
COMA 2D

Calcul d'Ondes en Milieux Aleatoires 2D

en projet ICJ
Compter les premiers

sommations portant sur les nombres premiers inférieurs à une borne x

en développement ICJ
coxeter

combinatoires sur les groupes de Coxeter

diffusé en beta ICJ
Critical kernels

méthode de squelettisation parallèle

diffusé, stable LIGM
Cross-Section topology

topologie des coupes pour le traitement d'images

diffusé, stable LIGM
cses

service web pour la rédaction des rapports et l’aide à la décision des commissions de spécialistes

utilisé en interne ICJ
D-LITe

pour le déployement d'applications sous forme de logique distribuée sur réseau de capteurs

diffusé, stable LIGM
Décompositions 1D ondelettes

toolbox Matlab pour les décompositions 1D en ondelettes en arbre dual M-bandes

diffusé, stable LIGM
DisocclusionEuler

reconstruction de parties manquantes dans une image numérique 2D

diffusé en beta ICJ
Distagger

reconnaissance de disfluences dans des transcriptions orales

diffusé en beta LIGM
Dynsys

plateforme de développement et d'étude de système dynamique

en développement LJK
Ed'Nimbus

filtre de séquences ADN

diffusé, stable LIGM
ElasNNVF

calcul des déformations de corps hyperélastiques

utilisé en interne ICJ
ellanalyticrank

calcul du rang analytique d'une courbe elliptique définie sur Q

diffusé en beta ICJ
ElVis

fluides visco-éLastiques dans des films minces

en développement INSA Lyon, Labo Maths Orsay
EMicroM

dynamique de l'aimantation dans les matériaux ferromagnétiques

diffusé, stable Labo Maths Orsay, LJK
Euclidean skeletons

méthodes pour la squelettisation euclidienne robuste en 2D et 3D

diffusé, stable LIGM
Explo 2D

résolution du problème de l’explosion thermique dans des fluides

utilisé en interne ICJ
EXSIEL

calcul d'exposants de singularités en élasticité linéaire anisotrope

diffusé, stable IRMAR
Fast Boltzmann

solving the Boltzmann equation in N log N

en développement ICJ
FEEL++

Finite Element Embedded Library in C++

diffusé, stable LJK
GC-PPXA-QUANTIZER

quantification vectorielle avec régularisation spatiale (boîte à outils C/C++)

diffusé, stable LIGM
GeoGuidePatchReproduce

reconstruction de parties manquantes dans une image numérique 2D par copier-coller avec guidage

utilisé en interne ICJ, IRISA, LTCI
GetFem++

biblothèque C++ d'éléments finis interfacée scilab-python-matlab

validé (au sens PLUME)
diffusé, stable
ICJ, IMT, LaMCoS
Giac/Xcas

le couteau suisse des mathématiques

validé (au sens PLUME)
diffusé, stable
Institut Fourier
Givaro

C++ library for computer algebra: exact arithmetic and data structures

diffusé, stable LIG, LIP, LIRMM, LJK
Gloptipoly 3

résolution numérique de problèmes de moments généralisés

diffusé, stable IMT, LAAS
GNU MPC

bibliothèque de calcul sur les nombres complexes à virgule flottante en précision arbitraire

validé (au sens PLUME) IMB, LORIA
GNU MPFR

bibliothèque de calcul à virgule flottante en précision arbitraire avec arrondi correct

validé (au sens PLUME)
diffusé, stable
LIP, LORIA
gpu-openings

ouverture linéaire pour GPU/CUDA

diffusé, stable CMM, LIGM
GraalWeb

interface d'accès à une bibliothèque décentralisée de grammaires locales

en développement LIGM
Gramlab

plate-forme d'outils collaboratifs pour des traitements linguistiques

diffusé, stable LIGM
GraMoFoNe

un plugin pour Cytoscape

diffusé, stable LIGM
Hampath

résolution de problèmes de contrôle optimal via les méthodes indirectes et homotopiques

diffusé, stable
utilisé en interne
en développement
IMB, INRIA Sophia, Institut Maths Bourgogne, IRIT
HECTAR

localisation subcellulaire, heterokont, machine à vecteur support, metaclassifier, motif, annotation

LORIA, Végétaux Marins et Biomolécules
heegner_twist

calcul par la méthode de Heegner du générateur d'une tordue quadratique de rang 1

utilisé en interne ICJ
HIPS

solveur de systèmes linéaires creux

validé (au sens PLUME)
diffusé en beta
INRIA Bordeaux, LABRI
Hoop

plate-forme pour la gestion et l'exploitation distribuée de ressources linguistiques

diffusé, stable LIGM
Ibex

bibliothèque numérique C++ pour l'arithmétique d'intervalles et la programmation par contraintes

diffusé en beta Lab-STICC, LIGM, LINA, LIRMM, OSM
Imagine++

bibliothèques C++ pour l'enseignement, le traitement d'images et le calcul scientifique

diffusé, stable
en développement
LIGM
ImagineMVS

reconstruction 3D en stéréo multi-vues

utilisé en interne LIGM
Imview

visualisation et analyse d'image interactive multiplateforme

diffusé, stable LIGM
Instationnaire RTD

résolution numérique du système de Schrödinger-Poisson

utilisé en interne
en développement
IMT, IRMAR
IntegerVectorsModPermutationGroup

énumeration modulo l'action d'un groupe de permutation

diffusé, stable Labo Maths Orsay
InvariantRingPermutationGroup

calculs des invariants algébriques d'un groupe de permutations

diffusé, stable Labo Maths Orsay, LIGM
JMMF

multiméthodes en Java

diffusé, stable LIGM
K-VLD

descripteurs par lignes virtuelles pour la correspondance sûre de points d'intérêt

diffusé, stable LIGM
Krig-SL

équation d'advection, méthodes semi-lagrangienne et de krigeage

utilisé en interne ICJ
LeJosRT

extension de leJOS mettant en œuvre la spécification temps réel pour Java

diffusé en beta
utilisé en interne
en développement
LIGM
LGExtract

générateur de lexiques syntaxiques à partir des tables du lexique-grammaire

diffusé, stable LIGM
LGTagger

étiqueteur grammatical réaliste incluant la reconnaissance de mots composés

diffusé, stable LIGM
Libraero-Schwarz

preconditionneur Restricted Additive Schwarz accéléré par Aitken

en développement CDCSP, ICJ
Lothaire package

implémentation des algorithmes de la combinatoire des mots

diffusé, stable LIGM
LSMM

boîte à outils Matlab de recherche de pas pour la minimisation d'un critère à barrière logarithmique

diffusé, stable IRCCyN, LIGM
MARS

outil pour l'évaluation du vieillissement et de l'efficacité de la maintenance

en développement EDF R&D, LJK
MC 2D

Monte Carlo 2D, solveur de l'équation de transfert radiatif

en développement ICJ
MEDL

environnement de développement pour méta-événements

utilisé en interne LIGM
Mélina

bibliothèque modulaire éléments finis

validé (au sens PLUME)
diffusé, stable
IRMAR, POEMS
MiGAL

simulation de l'effet Leidenfrost

en développement LJK
MIMO-802.11e

utilisation unifiée des normes MIMO et 802.11e

diffusé en beta
en développement
LIGM
Minbrkpts

tests des performances d'une heuristique permettant la linéarisation d'ordres partiels

utilisé en interne LIGM
Mixmod

ensemble logiciel de classification supervisée et non supervisée des données

validé (au sens PLUME)
diffusé, stable
Heudiasyc, INRIA Saclay, Labo Maths Besançon, Paul Painlevé
MLV

bibliothèque multimedia simplifiée

diffusé, stable LIGM
Monolix

analyse de modèle non-linéaire à effets mixtes

validé (au sens PLUME)
en développement
INRIA Saclay, Labo Maths Orsay, NeuroSpin
MPaS

granulométries morphologiques sur un support 1D et 2D

utilisé en interne
en développement
CMM, LIGM
MUMPS

solveur parallèle de systèmes linéaires creux

validé (au sens PLUME)
diffusé, stable
CERFACS, ENS Lyon, INRIA, IRIT, LABRI
MuPAD-Combinat

bibliothèque de combinatoire algébrique pour le système MuPAD

validé (au sens PLUME)
diffusé, stable
ICJ, Labo Maths Orsay, LIGM, LIPN, LITIS
NAUtil

von Neumann Analysis Utilities

utilisé en interne LJK
NITSOL_POD

accélération de la méthode de Newton par POD

utilisé en interne CDCSP, ICJ
Norm_Est

estimation de normales de nuage de points

diffusé, stable LIGM
NS2DVV

résolution du problème de Navier-Stokes à viscosité variable avec adaptation de maillage

utilisé en interne ICJ
NS_ADI_MCSD

résolution parallèle de Navier-Stokes 3D formulation Vitesse-tourbillon par ADI et multigrille DDM

utilisé en interne CDCSP, ICJ, ONERA
OAR

gestionnaire de ressources pour grandes grappes de calcul

validé (au sens PLUME) LIG
Ocean-eddy

équations de Saint Venant en océanographie

utilisé en interne ICJ
Okada solution

to provide an initial condition to various tsunami propagation codes

diffusé, stable CMLA
Olena

traitement d'images

diffusé, stable
en développement
LIGM, LRDE
OpenKN

bibliothèque pour la modélisation, l'image de synthèse et la simulation

diffusé, stable LIGM
OpenMEEG

résolution de problèmes directs en électroencéphalographie et magnétoencéphalographie

diffusé, stable INRIA Sophia, LIGM
OpenMVG

bibliothèque C++ pour la géométrie multi-vues en vision par ordinateur

diffusé, stable LIGM
Ork

API orientée objet en C++ au dessus de OpenGL pour OpenGL Rendering Kernel

diffusé en beta INRIA Grenoble, LJK
OrsaHomography

recalage automatique d'images par homographie

diffusé, stable LIGM
Outilex

plate-forme de traitement automatique des langues naturelles

diffusé, stable LIGM
padicfields

calcul des extensions de degré donné d'un corps p-adique

diffusé en beta ICJ
Parallel-SDC

solveur parallèle d'équations différentielles (Parallel Spectral Deferred Correction)

en développement CDCSP, ICJ
PARI/GP

logiciel de calcul formel spécialisé en arithmétique

validé (au sens PLUME)
diffusé, stable
IMB
PaStiX

résolution parallèle de systèmes linéaires creux (factorisation directe et incomplète)

validé (au sens PLUME)
diffusé, stable
INRIA Bordeaux, LABRI
PatchReproduce

reconstruction de parties manquantes dans une image numérique 2D par copier-coller d'échantillons

utilisé en interne ICJ, LTCI
PFIM

evaluation et optimisation de protocoles de population

diffusé, stable
en développement
INSERM-U738, LJK
PINK

bibliothèque de traitement d'images

en développement LIGM
PIPCL

bibliothèque de couplage de code

utilisé en interne CDCSP, ICJ
PISTOU

gestion des notices bibliographiques dans un laboratoire

utilisé en interne LIG
Plade

plate-forme de recherche de similarité sur du code source

en développement LIGM
pMRILab

toolbox Matlab pour la reconstruction d'images pour l'Imagerie par Résonance Magnétique parallèle

diffusé, stable LIGM, NeuroSpin
PNL

bibliothèque numérique pour le calcul scientifique en C

diffusé, stable INRIA Paris-Rocquencourt, LJK
PODDODE

solveur de système d'ODE par un découplage du système en sous-système par POD

en développement CDCSP, ICJ
Polynômes multivariés

implantation des bases des polynômes multivariés en Sage

diffusé en beta LIGM
Porous

DDM pour Darcy 3D avec une distribution log-normale de la perméabilité

CDCSP, ICJ
PowerWatershed

segmentation d'image 2D et 3D

diffusé en beta LIGM
Proland

librairie OpenGL/C++ pour le rendu et l'édition temps-réel de grandes scènes naturelles

diffusé en beta INRIA Grenoble, LJK
PST-Cox

bibliothèque PSTricks permettant de dessiner des projections 2D de polytopes complexes réguliers

diffusé, stable LIGM
Qolyester

plateforme de test pour le protocole de routage QOLSR

diffusé, stable LIGM, LRI
realtimez

générateur de diagrammes temps réel pour LaTeX en Python

diffusé en beta
en développement
LIGM
Regal

paquetage C++ pour la génération d'automates déterministes finis

en développement LIGM
RestoMMMG_Lab

boîte à outils Matlab pour la restauration d'images dans le cas d'un bruit gaussien

diffusé, stable LIGM
RestoPPXA_Lab

Boite à outils Matlab pour la restauration d'images

diffusé, stable LIGM
RestoVMFB_Lab

toolbox Matlab de restauration d'images par l'algorithme Explicite-Implicite à métrique variable

diffusé, stable LIGM
Rheolef

résolution des équations aux dérivées partielles par la méthode des éléments finis

validé (au sens PLUME)
diffusé, stable
LJK
RoadColoringImpl

une implémentation pour le problème du coloriage des routes

utilisé en interne LIGM
rtmsim

simulateur temps réel multiprocesseurs en Java

diffusé en beta
en développement
LIGM
RTSS

simulateur de système temps réel

diffusé, stable LIGM
Saburo

environnement de développement de serveurs Internet

diffusé, stable LIGM
Sage-Combinat

boîte à outils pour l'exploration informatique en combinatoire (algébrique)

validé (au sens PLUME)
diffusé, stable
en développement
IML, Labo Maths Orsay, LIGM, LITIS, LRI, Univ Aix Marseille 1
SCarr2DA

résolution du problème de Stokes à viscosité variable avec adaptation de maillage

utilisé en interne ICJ
Schur

calculs de propriétés sur des groupes de Lie et des fonctions symétriques

diffusé, stable LIGM, LIPN
SCoPI

simulation of collections of particules in interaction

utilisé en interne
en développement
CMAP, Labo Maths Orsay, LAMAV
Scotch

partitionneur de graphes et renuméroteur de matrices creuses, séquentiel et parallèle

validé (au sens PLUME)
diffusé, stable
INRIA Bordeaux, LABRI
SCSCP C Library

bibliothèque de communication entre systèmes de calcul formel

diffusé, stable IMCCE
Segmentation d'IRM cardiaque 3d+t

délimitation automatique du myocarde du ventricule gauche en IRM 3D+t

utilisé en interne LIGM
Séparation aveugle de sources

toolbox Matlab

diffusé, stable CITI INT, LIGM
Séparation de signaux

génération et séparation de signaux numériques

utilisé en interne LIGM
Siconos

plate-forme dédiée à la modélisation et à la simulation des systèmes dynamiques non réguliers

diffusé, stable
en développement
INRIA, LJK
SMicroM

calcul du spectre de résonance hyperfréquence des matériaux ferromagnétiques

Labo Maths Orsay, LJK
SOFA

bibliothèque C++ interactive de simulation en mécanique

diffusé en beta INRIA, LJK
SOLEA

calcul de la SOLution du modèle d'Elrod-Adams

en développement ICJ, Labo Maths Orsay
Sprintabout

Java et la conception visiteur

diffusé, stable LIGM
Stochastic Downscaling Method

méthode stochastique pour le raffinement d’échelle en mécanique des fluides

en développement INRIA, INRIA Grenoble, INRIA Sophia, LJK
SUNDIAL-SCHUR

plugin de Sundials pour la résolution parallèle de type complément de Schur dans BDF

en développement CDCSP, ICJ, LAMSADE
SURELET-DECONV

déconvolution d'images basée sur le principe de Stein (toolbox Matlab)

diffusé, stable LIGM
Swif

code Shallow Water

utilisé en interne LJK
SWUMM

résolution des équations de Saint-Venant à l'aide d'une méthode de volumes finis multiniveaux

utilisé en interne
en développement
Labo Maths Orsay
Tatoo

compilateur de compilateurs développé en Java

en développement LIGM
TexGeoPPXA_Lab

boite à outils Matlab pour la décomposition en composantes géométrique et de texture

diffusé, stable LIGM
Topological smoothing

méthode de lissage pour des objets 2D et 3D

diffusé, stable LIGM
Topological watershed

segmentation d'images n-dimensionnelles

diffusé, stable LIGM
TreeCloud

générer des nuages arborés à partir d'un texte

en développement LIF, LIGM, LIRMM
TRIP

logiciel de calcul formel et numérique, dédié à la mécanique céleste

validé (au sens PLUME)
diffusé, stable
IMCCE
Unitex

traitement de corpus utilisant des technologies à états finis

validé (au sens PLUME)
diffusé, stable
en développement
LIGM
Vador

Vlasov approximation

diffusé en beta ICJ, INRIA Nancy
Vaucanson

une plate-forme de manipulation d'automates

en développement LIGM, LRDE, LTCI
VElasOldroyd

résolution des problèmes d'écoulement de fluides viscoélastique (loi d'Oldroyd)

utilisé en interne ICJ
VLVDP

manipulation de très gros volumes 3D (et 3D+temps)

en développement LAGA
Zebre

résolution de systèmes de Réaction-Diffusion

diffusé en beta
en développement
ICJ