Logiciels développés par l'Enseignement Supérieur et la Recherche en Maths

Cette liste présente les logiciels développés dans un laboratoire ou une université et indexés avec le mot-clé 'maths'. Les logiciels sont listés selon la date de première publication de la fiche sur PLUME, de la plus récente à la plus ancienne. En cliquant sur 'Logiciel' (titre de colonne) vous pouvez changer l'ordre d'affichage.

Logiciel Description Fonctionnalités Origine (laboratoire/service)
ocamlmath

calcul mathématique en OCaml

biblio. informatique IREM Pays de la Loire, Labo Maths Jean Leray
Imagine++

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

dessin, traitement d'images, visualisation LIGM
OrsaHomography

recalage automatique d'images par homographie

traitement d'images LIGM
K-VLD

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

traitement d'images LIGM
Séparation de signaux

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

modélisation, traitement de données LIGM
gpu-openings

ouverture linéaire pour GPU/CUDA

traitement d'images CMM, LIGM
Polynômes multivariés

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

LIGM
InvariantRingPermutationGroup

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

Labo Maths Orsay, LIGM
RestoVMFB_Lab

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

traitement d'images LIGM
LSMM

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

IRCCyN, LIGM
PNL

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

biblio. informatique INRIA Paris-Rocquencourt, LJK
Hampath

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

compilateur IMB, INRIA Sophia, Institut Maths Bourgogne, IRIT
Euclidean skeletons

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

traitement d'images, visualisation LIGM
Topological smoothing

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

biblio. informatique, traitement d'images, visualisation LIGM
IntegerVectorsModPermutationGroup

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

Labo Maths Orsay
MatGeom

bibliothèque de calcul géométrique en 2D et 3D sous Matlab

modélisation, traitement d'images GMPA
Mefisto

résolution de problèmes physiques par la méthode des éléments finis

modélisation LJLL
GC-PPXA-QUANTIZER

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

traitement d'images LIGM
SURELET-DECONV

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

traitement d'images LIGM
CGEM-EV

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

statistiques, traitement d'images, traitement de données LJK
Libraero-Schwarz

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

calcul distribué CDCSP, ICJ
SUNDIAL-SCHUR

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

calcul distribué CDCSP, ICJ, LAMSADE
PODDODE

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

calcul distribué CDCSP, ICJ
Parallel-SDC

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

calcul distribué CDCSP, ICJ
Porous

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

CDCSP, ICJ
Bianchi.gp

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

Institut Fourier
PdfArticle

visualiseur de fichiers pdf spécialisé pour la lecture d'articles mathématiques

bibliographie, visualisation Univ Paris Ouest Nanterre La Défense
RestoMMMG_Lab

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

traitement d'images LIGM
SOLEA

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

ICJ, Labo Maths Orsay
CALDER

CAvitation en Lubrification et DEscription des effets de Rugosités

ICJ, Labo Maths Orsay
Swif

code Shallow Water

LJK
TexGeoPPXA_Lab

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

traitement d'images LIGM
RestoPPXA_Lab

Boite à outils Matlab pour la restauration d'images

traitement d'images LIGM
LISDQS

interpolation de données quantitatives et spatiales

traitement de données ThéMA
PINK

bibliothèque de traitement d'images

biblio. informatique, traitement d'images, visualisation LIGM
Olena

traitement d'images

traitement d'images LIGM, LRDE
jPicEdt

générer du dessin vectoriel pour LaTeX

dessin ETIS
NS_ADI_MCSD

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

calcul distribué CDCSP, ICJ, ONERA
G'MIC

outil de manipulation d'images génériques

langage informatique, multimedia, traitement d'images, traitement de données, visualisation, workflow GREYC
ElVis

fluides visco-éLastiques dans des films minces

calcul distribué INSA Lyon, Labo Maths Orsay
PARI/GP

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

IMB
PIPCL

bibliothèque de couplage de code

calcul distribué CDCSP, ICJ
AITKENBRATU_2.5d

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

calcul distribué CDCSP, ICJ
SHTns

transformée en harmoniques sphériques, performante et flexible

modélisation Autre
SWUMM

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

modélisation Labo Maths Orsay
Cross-Section topology

topologie des coupes pour le traitement d'images

biblio. informatique, traitement d'images, visualisation LIGM
NAUtil

von Neumann Analysis Utilities

modélisation LJK
coxeter

combinatoires sur les groupes de Coxeter

ICJ
SCSCP C Library

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

biblio. informatique, calcul distribué IMCCE
Manlab

continuation interactive et analyse de bifurcation de problèmes non-linéaires

modélisation LMA Marseille
Giac/Xcas

le couteau suisse des mathématiques

Institut Fourier
GNU MPFR

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

biblio. informatique LIP, LORIA
GNU MPC

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

biblio. informatique IMB, LORIA
heegner_twist

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

ICJ
ellanalyticrank

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

ICJ
Krig-SL

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

ICJ
padicfields

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

ICJ
Ocean-eddy

équations de Saint Venant en océanographie

ICJ
DisocclusionEuler

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

traitement d'images ICJ
GeoGuidePatchReproduce

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

traitement d'images ICJ, IRISA, LTCI
PatchReproduce

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

traitement d'images ICJ, LTCI
Rheolef

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

LJK
Monolix

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

modélisation, statistiques INRIA Saclay, Labo Maths Orsay, NeuroSpin
Mixmod

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

statistiques Heudiasyc, INRIA Saclay, Labo Maths Besançon, Paul Painlevé
OpenKN

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

biblio. informatique, virtualisation, visualisation LIGM
Sage-Combinat

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

IML, Labo Maths Orsay, LIGM, LITIS, LRI, Univ Aix Marseille 1
Schur

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

LIGM, LIPN
Siconos

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

INRIA, LJK
RoadColoringImpl

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

LIGM
TRIP

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

IMCCE
Chemotaxis

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

modélisation ICJ
pMRILab

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

modélisation, traitement d'images, visualisation LIGM, NeuroSpin
MuPAD-Combinat

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

ICJ, Labo Maths Orsay, LIGM, LIPN, LITIS
Gloptipoly 3

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

IMT, LAAS
Vador

Vlasov approximation

calcul distribué ICJ, INRIA Nancy
Fast Boltzmann

solving the Boltzmann equation in N log N

calcul distribué ICJ
Explo 2D

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

modélisation ICJ
CimulA

analyse de perturbations sur automates cellulaires

LIP
MC 2D

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

ICJ
EXSIEL

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

IRMAR
Givaro

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

biblio. informatique, calcul distribué, chiffrement, formation LIG, LIP, LIRMM, LJK
Compter les premiers

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

ICJ
COMA 2D

Calcul d'Ondes en Milieux Aleatoires 2D

ICJ
Algorithmique du texte

implémentation d'algorithmes de traitement du texte

traitement de texte LIGM, LITIS
Lothaire package

implémentation des algorithmes de la combinatoire des mots

LIGM
PST-Cox

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

dessin, visualisation LIGM
Regal

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

LIGM
Topological watershed

segmentation d'images n-dimensionnelles

biblio. informatique, traitement d'images, visualisation LIGM
Critical kernels

méthode de squelettisation parallèle

biblio. informatique, traitement d'images, visualisation LIGM
SCoPI

simulation of collections of particules in interaction

CMAP, Labo Maths Orsay, LAMAV
Séparation aveugle de sources

toolbox Matlab

CITI INT, LIGM
Kostka

nombres de Kostka et coefficients de Littlewood-Richardson

Univ Paris 7
Reduction

réduction et caractère invariant des graphes de Goresky-Kottwitz-McPherson

Univ Paris 7
Orientation Library

collection de routines pour la manipulation de rotations / orientations

LGF
Okada solution

to provide an initial condition to various tsunami propagation codes

dessin CMLA
Zebre

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

calcul distribué ICJ
Décompositions 1D ondelettes

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

LIGM
Vaucanson

une plate-forme de manipulation d'automates

LIGM, LRDE, LTCI