MC2 est un outil dédié à l'analyse de données spectroscopiques, notamment pour les cartographies CARS. Il permet de décomposer des spectres inconnus en utilisant des algorithmes comme MCR-ALS, Simplisma ou des régressions ALS et NNLS. Le projet facilite l'application de contraintes mathématiques pour affiner les résultats et offre des fonctionnalités de visualisation des données analysées.

Bibliothèque open source dédiée à la résolution de problèmes d'optimisation linéaire via l'algorithme du simplexe. Elle permet de traiter des problèmes de maximisation ou minimisation sous contraintes d'inégalités ou d'égalités, avec des variables positives ou négatives. Utilisable en tant que plugin pour le logiciel Icy ou comme bibliothèque autonome en Java, elle s'adresse aux chercheurs et développeurs en bioimagerie ou en analyse de données nécessitant des solutions optimales pour des modèles mathématiques complexes.

Bibliothèque logicielle dédiée à la résolution de problèmes d'optimisation linéaire et quadratique. Elle permet de trouver des solutions optimales pour des modèles mathématiques complexes, utilisés dans des domaines comme la logistique, la finance ou l'ingénierie. L'outil est particulièrement adapté aux problèmes nécessitant une analyse quantitative précise pour maximiser ou minimiser des objectifs sous contraintes.

Memetic Semantic Genetic Programming for Symbolic Regression est un projet open-source qui vise à optimiser des modèles mathématiques à l'aide de techniques de programmation génétique et de recherche de solutions approchées. Il permet d'analyser des données complexes et de trouver des solutions optimales ou sous-optimales en fonction des contraintes imposées.

Ce projet open source permet de calculer la capacité d'espace de travail d'un robot Franka Emika Panda en utilisant des méthodes mathématiques avancées. Il offre des outils pour simuler et visualiser les polytopes de force, vitesse, accélération et jerk du robot. L'objectif est d'optimiser les mouvements robotiques en analysant les contraintes physiques et les capacités dynamiques du bras robotisé.

Le projet smt2d est un outil de vérification de formules mathématiques et d'analyse de contraintes logiques. Il permet de traiter des problèmes de satisfiabilité modulo théories (SMT) en utilisant la logique first-order avec équations et inégalités.