Curly-splits est une bibliothèque logicielle dédiée à l'algorithme de branch-and-bound pour résoudre des requêtes de distance entre courbes paramétriques. Elle permet de détecter efficacement le contact entre fibres courbes, notamment dans des espaces 2D ou 3D, en utilisant des méthodes génériques et optimisées. L'outil est particulièrement utile pour des applications en modélisation géométrique, simulation physique ou analyse de structures complexes.

Ce projet propose un jeu de données dédié à l'article OMS publié dans un numéro spécial sur les avancées en optimisation continue. Il se concentre sur des techniques d'accélération des algorithmes branch-and-bound appliqués à l'optimisation éparse, utile pour la recherche académique et les études en optimisation mathématique.

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.