Bibliothèque logicielle dédiée à la manipulation, l'analyse et la simplification d'expressions mathématiques. Elle permet de parser, évaluer et transformer des formules algébriques complexes en fournissant des outils pour le calcul symbolique et numérique. Utilisée dans des contextes scientifiques ou techniques nécessitant une gestion avancée des équations.

Outil open source dédié à la manipulation et à l'analyse de documents structurés comme les feuilles de calcul. Il permet d'extraire, modifier et convertir des données, d'analyser des formules complexes, de générer des métadonnées et de publier des contenus dans différents formats. Idéal pour automatiser des traitements de données ou intégrer des fonctionnalités avancées dans des applications tierces.

Mimosa est un outil dédié à l'optimisation de signaux épars et à la résolution de problèmes de moindres carrés sous contraintes de parcimonie. Il implémente des algorithmes avancés de Branch and Bound pour trouver des solutions optimales, ainsi que des méthodes de screening (comme GapSafe) pour accélérer les calculs. Le projet s'appuie sur des techniques publiées dans des articles scientifiques pour traiter des formulations variées (P2/0, P0/2, P2+0) et propose des comparaisons avec des solveurs comme CPLEX.