Logiciels validés, à valider ou en tests pour la recherche ou l'enseignement en maths

Ces 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
R Commander interface graphique pour réaliser des traitements statistiques avec le logiciel R environnement logiciel, statistiques, traitement de données
ipython interface en ligne de commande optimisée pour le calcul scientifique sous python calcul distribué, langage informatique, visualisation
Bianchi.gp calcul de domaine fondamental pour les groupes de Bianchi dans l'espace hyperbolique
Neper génération et maillage de microstructures polycristallines
MatGeom bibliothèque de calcul géométrique en 2D et 3D sous Matlab modélisation, traitement d'images, traitement de données
Elmer calcul à éléments finis pour simulations multi-physiques calcul distribué, modélisation, traitement de données, visualisation
GeoGebra pour enseigner et apprendre les mathématiques e-learning, exercices (création)
Jadamilu calcul de valeurs propres et de vecteurs propres
WeBWork système de devoirs en ligne pour la formation en mathématiques et en sciences e-learning, exercices (création), formation, service web
SWIG interfacer des programmes C, C++ avec des programmes python, perl... compilateur, langage informatique
Triangle mailleur 2D
Atlas structure et représentations de groupes de Lie réels (calcul formel)
ParadisEO plateforme de développement de métaheuristiques hybrides parallèles sur grilles de calcul biblio. informatique, calcul distribué, modélisation
Kile éditeur de texte Latex editeur de texte, environnement logiciel, traitement de texte
GMSH modeleur/mailleur/visualiseur modélisation
FFTW bibliothèque effectuant des transformées de Fourier complexes ou réelles, rapides et portables biblio. informatique
Giac/Xcas le couteau suisse des mathématiques modélisation
Sage-Combinat boîte à outils pour l'exploration informatique en combinatoire (algébrique) modélisation
FactoMineR package du logiciel R dédié à l'analyse de données statistiques
Spyder environnement de développement Python (et C, C++, Fortran) environnement logiciel, traitement de données, visualisation
Rheolef résolution des équations aux dérivées partielles par la méthode des éléments finis environnement logiciel
Monolix analyse de modèle non-linéaire à effets mixtes modélisation, statistiques
Octaviz système de visualisation pour Octave visualisation
Manlab continuation interactive et analyse de bifurcation de problèmes non-linéaires (bibliothèque Matlab) modélisation
BLAS (Basic Linear Algebra Subprograms) bibliothèque d'algèbre linéaire biblio. informatique
GNU MPC bibliothèque de calcul sur les nombres complexes à virgule flottante en précision arbitraire biblio. informatique
GNU MPFR bibliothèque de calcul sur les nombres à virgule flottante en précision arbitraire biblio. informatique
dot (Graphviz) pour dessiner des graphes dessin, visualisation
PaStiX Parallel Sparse matriX package biblio. informatique, calcul distribué
HIPS solveur de systèmes linéaires creux calcul distribué
Scotch partitionneur séquentiel et parallèle de graphes et renuméroteur de matrices creuses calcul distribué
MUMPS solveur direct de systèmes linéaires creux biblio. informatique, calcul distribué
TRIP logiciel de calcul formel et numérique, dédié à la mécanique céleste
GetFem++ bibliothèque C++ d'éléments finis interfacée scilab-python-matlab biblio. informatique, modélisation
Octave langage de haut niveau pour le calcul numérique formation
Open-PALM Projet d'Assimilation par Logiciel Multiméthode : coupleur dynamique parallèle calcul distribué, modélisation, workflow
Code_Aster simulation aux éléments finis en mécanique des structures
GAP 4 système de calcul effectif en algèbre
Qtiplot tableur et traceur de graphes 2D et 3D tableur, traitement de données, visualisation
ParaView visualisalisation interactive de gros volumes de données traitement de données, visualisation
SAGE calcul formel et calcul scientifique
Maxima calcul formel langage informatique
Petsc librairie dédiée au calcul scientifique parallèle biblio. informatique
VTK The Visualization ToolKit, visualisation de gros volumes de données 2D ou 3D biblio. informatique, visualisation
R analyse statistique et réalisation de graphiques environnement logiciel, langage informatique, statistiques, traitement de données
NumPy bibliothèque calcul scientifique pour Python biblio. informatique
Mixmod classification de données biblio. informatique, statistiques, traitement de données
Grace graphique 2D pour système X Window dessin
Blitz++ bibliothèque de tableaux et vecteurs en C++ biblio. informatique
MuPAD-Combinat bibliothèque de combinatoire algébrique pour le système MuPAD biblio. informatique
Scilab calcul numérique scientifique avec environnement de développement environnement logiciel, formation
PARI/GP système de calcul en théorie des nombres
LaTeX système de composition de documents traitement de texte
FreeFem++ résolution d'équations aux dérivées partielles par éléments finis environnement logiciel