Logiciels

Principales bibliothèques logicielles

• LinBox : bibliothèque générique pour l’algèbre linéaire exacte
• FFLAS-FFPACK : sous-routines d’algèbre linéaire dans les corps finis
• Givaro : bibliothèque générique pour les corps finis et leurs extensions.
  • Intègre l’ancien projet PaloAlto (type RecInt) : arithmétique de précision fixe pour la cryptologie

Autres développements logiciels

• PLinOpt : routines C++ de manipulations de programmes linéaires, bilinéaires et trilinéaires
• VESPo : bibliothèque C++ pour l’évaluation vérifiée de polynômes secrets
• Fast-Matrix-Multiplication : code Matlab de multiplication rapide et stable de matrices
• la-por : Protocole de preuve de récupérabilité par algèbre linéaire

Participations à des projets logiciels

Des membres de l’équipe contribuent ou ont contribué aux projets logiciels suivants :

• SageMath : logiciel libre généraliste de calcul mathématique.
• Mathemagix : logiciel libre de calcul formel et analytique.

Anciens projets logiciels

Algèbre linéaire

• Galet : générateur d’ordonnancement de mémoire pour la multiplication de matrices
• Simplicial Homology : proposition de paquet GAP pour l’homologie simplicielle
• FFSpMv : multiplication matrice-vecteur creuse sur GPU
• Matrice dépendant de paramètres / valeurs propres

Systèmes hybrides

• CoSyMa : synthèse de contrôleur basée sur des abstractions multi-échelles
• DynSys : logiciel de modélisation de graphes dynamiques à l’aide de graphes d’états
• CASCADE : Analyse computationnelle et Simulation utilisant les Approximations Continues pour les Équations Différentielles
• SHOC : contrôle optimal des systèmes différentiels ordinaires hybrides
• MATISSE : métriques pour la simulation et l’équivalence de systèmes de transition approchés
• Systèmes dynamiques

Équations différentielles

• DESIR : singularités des équations différentielles, irrégulières et régulières
• Équations et systèmes différentiels linéaires
• Équations différentiélo-algébriques (DAE)
• Séries polynomiales orthogonales

Autre

• CRQ : quadrature correctement arrondie
• CoqEffects : Prouver des propriétés de programmes impliquant des effets de calcul