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
Algorithmique du texte

implémentation d'algorithmes de traitement du texte

diffusé, stable
AS1DPSCR2D

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

utilisé en interne
ASTL

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

diffusé, stable
BeC3

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

en développement
BFL_DDM_PF

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

utilisé en interne
Bianchi.gp

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

diffusé, stable
BioRica

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

en développement
BOMBEC

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

utilisé en interne
CALDER

CAvitation en Lubrification et DEscription des effets de Rugosités

utilisé en interne
CAPCC

construction parallèle de l'arbre des composantes connexes

en développement
CDiffA

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

utilisé en interne
CGEM-EV

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

diffusé, stable
Chemotaxis

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

en développement
CiGri

grille de calcul “légère”

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

Calcul d'Ondes en Milieux Aleatoires 2D

en projet
Compter les premiers

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

en développement
coxeter

combinatoires sur les groupes de Coxeter

diffusé en beta
Critical kernels

méthode de squelettisation parallèle

diffusé, stable
Cross-Section topology

topologie des coupes pour le traitement d'images

diffusé, stable
cses

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

utilisé en interne
D-LITe

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

diffusé, stable
Décompositions 1D ondelettes

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

diffusé, stable
DisocclusionEuler

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

diffusé en beta
Distagger

reconnaissance de disfluences dans des transcriptions orales

diffusé en beta
Dynsys

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

en développement
Ed'Nimbus

filtre de séquences ADN

diffusé, stable
ElasNNVF

calcul des déformations de corps hyperélastiques

utilisé en interne
ellanalyticrank

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

diffusé en beta
ElVis

fluides visco-éLastiques dans des films minces

en développement
EMicroM

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

diffusé, stable
Euclidean skeletons

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

diffusé, stable
Explo 2D

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

utilisé en interne
EXSIEL

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

diffusé, stable
Fast Boltzmann

solving the Boltzmann equation in N log N

en développement
FEEL++

Finite Element Embedded Library in C++

diffusé, stable
GC-PPXA-QUANTIZER

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

diffusé, stable
GeoGuidePatchReproduce

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

utilisé en interne
GetFem++

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

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

le couteau suisse des mathématiques

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

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

diffusé, stable
Gloptipoly 3

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

diffusé, stable
GNU MPC

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

validé (au sens PLUME)
GNU MPFR

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

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

ouverture linéaire pour GPU/CUDA

diffusé, stable
GraalWeb

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

en développement
Gramlab

plate-forme d'outils collaboratifs pour des traitements linguistiques

diffusé, stable
GraMoFoNe

un plugin pour Cytoscape

diffusé, stable
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
HECTAR

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

heegner_twist

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

utilisé en interne
HIPS

solveur de systèmes linéaires creux

validé (au sens PLUME)
diffusé en beta
Hoop

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

diffusé, stable
Ibex

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

diffusé en beta
Imagine++

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

diffusé, stable
en développement
ImagineMVS

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

utilisé en interne
Imview

visualisation et analyse d'image interactive multiplateforme

diffusé, stable
Instationnaire RTD

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

utilisé en interne
en développement
IntegerVectorsModPermutationGroup

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

diffusé, stable
InvariantRingPermutationGroup

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

diffusé, stable
JMMF

multiméthodes en Java

diffusé, stable
K-VLD

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

diffusé, stable
Krig-SL

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

utilisé en interne
LeJosRT

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

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

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

diffusé, stable
LGTagger

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

diffusé, stable
Libraero-Schwarz

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

en développement
Lothaire package

implémentation des algorithmes de la combinatoire des mots

diffusé, stable
LSMM

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

diffusé, stable
MARS

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

en développement
MC 2D

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

en développement
MEDL

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

utilisé en interne
Mélina

bibliothèque modulaire éléments finis

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

simulation de l'effet Leidenfrost

en développement
MIMO-802.11e

utilisation unifiée des normes MIMO et 802.11e

diffusé en beta
en développement
Minbrkpts

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

utilisé en interne
Mixmod

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

validé (au sens PLUME)
diffusé, stable
MLV

bibliothèque multimedia simplifiée

diffusé, stable
Monolix

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

validé (au sens PLUME)
en développement
MPaS

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

utilisé en interne
en développement
MUMPS

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

validé (au sens PLUME)
diffusé, stable
MuPAD-Combinat

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

validé (au sens PLUME)
diffusé, stable
NAUtil

von Neumann Analysis Utilities

utilisé en interne
NITSOL_POD

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

utilisé en interne
Norm_Est

estimation de normales de nuage de points

diffusé, stable
NS2DVV

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

utilisé en interne
NS_ADI_MCSD

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

utilisé en interne
OAR

gestionnaire de ressources pour grandes grappes de calcul

validé (au sens PLUME)
Ocean-eddy

équations de Saint Venant en océanographie

utilisé en interne
Okada solution

to provide an initial condition to various tsunami propagation codes

diffusé, stable
Olena

traitement d'images

diffusé, stable
en développement
OpenKN

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

diffusé, stable
OpenMEEG

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

diffusé, stable
OpenMVG

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

diffusé, stable
Ork

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

diffusé en beta
OrsaHomography

recalage automatique d'images par homographie

diffusé, stable
Outilex

plate-forme de traitement automatique des langues naturelles

diffusé, stable
padicfields

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

diffusé en beta
Parallel-SDC

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

en développement
PARI/GP

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

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

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

validé (au sens PLUME)
diffusé, stable
PatchReproduce

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

utilisé en interne
PFIM

evaluation et optimisation de protocoles de population

diffusé, stable
en développement
PINK

bibliothèque de traitement d'images

en développement
PIPCL

bibliothèque de couplage de code

utilisé en interne
PISTOU

gestion des notices bibliographiques dans un laboratoire

utilisé en interne
Plade

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

en développement
pMRILab

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

diffusé, stable
PNL

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

diffusé, stable
PODDODE

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

en développement
Polynômes multivariés

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

diffusé en beta
Porous

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

PowerWatershed

segmentation d'image 2D et 3D

diffusé en beta
Proland

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

diffusé en beta
PST-Cox

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

diffusé, stable
Qolyester

plateforme de test pour le protocole de routage QOLSR

diffusé, stable
realtimez

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

diffusé en beta
en développement
Regal

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

en développement
RestoMMMG_Lab

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

diffusé, stable
RestoPPXA_Lab

Boite à outils Matlab pour la restauration d'images

diffusé, stable
RestoVMFB_Lab

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

diffusé, stable
Rheolef

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

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

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

utilisé en interne
rtmsim

simulateur temps réel multiprocesseurs en Java

diffusé en beta
en développement
RTSS

simulateur de système temps réel

diffusé, stable
Saburo

environnement de développement de serveurs Internet

diffusé, stable
Sage-Combinat

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

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

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

utilisé en interne
Schur

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

diffusé, stable
SCoPI

simulation of collections of particules in interaction

utilisé en interne
en développement
Scotch

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

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

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

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

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

utilisé en interne
Séparation aveugle de sources

toolbox Matlab

diffusé, stable
Séparation de signaux

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

utilisé en interne
Siconos

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

diffusé, stable
en développement
SMicroM

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

SOFA

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

diffusé en beta
SOLEA

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

en développement
Sprintabout

Java et la conception visiteur

diffusé, stable
Stochastic Downscaling Method

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

en développement
SUNDIAL-SCHUR

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

en développement
SURELET-DECONV

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

diffusé, stable
Swif

code Shallow Water

utilisé en interne
SWUMM

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

utilisé en interne
en développement
Tatoo

compilateur de compilateurs développé en Java

en développement
TexGeoPPXA_Lab

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

diffusé, stable
Topological smoothing

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

diffusé, stable
Topological watershed

segmentation d'images n-dimensionnelles

diffusé, stable
TreeCloud

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

en développement
TRIP

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

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

traitement de corpus utilisant des technologies à états finis

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

Vlasov approximation

diffusé en beta
Vaucanson

une plate-forme de manipulation d'automates

en développement
VElasOldroyd

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

utilisé en interne
VLVDP

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

en développement
Zebre

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

diffusé en beta
en développement