ScaSearch est une bibliothèque open source développée en Scala qui implémente des algorithmes avancés de résolution de problèmes inspirés de l'intelligence artificielle. Elle permet de modéliser et résoudre des défis complexes comme les puzzles, les jeux de stratégie ou les problèmes de satisfaction de contraintes. Basée sur des principes théoriques modernes, elle offre des outils pour automatiser la prise de décision et l'optimisation dans divers domaines techniques et scientifiques.

Ce module est destiné aux scientifiques souhaitant s'approprier les bases de la statistique descriptive et inférentielle. Il vise une initiation à la résolution de problème par une approche stochastique. Les concepts d'analyse des données, d'estimation et tests, d'analyse de la variance et de régression seront abordés d'un point de vue pratique.

LibPFASST est une bibliothèque logicielle dédiée à la résolution de problèmes mathématiques complexes, notamment les équations différentielles partielles. Elle permet de simuler des systèmes physiques ou chimiques en utilisant des méthodes numériques avancées comme les méthodes de décomposition de domaine. Utilisée dans des environnements de calcul intensif, elle optimise les performances des simulations pour des applications scientifiques ou industrielles.

Le projet cmake_external_petsc est un dépôt de code source qui fournit une intégration simplifiée de PETSc, une bibliothèque logicielle pour la résolution de problèmes de calcul scientifique. Il permet aux utilisateurs de construire et d'utiliser PETSc dans des projets de calcul scientifique grâce à un système de génération de Makefiles basé sur CMake.

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.

Ce projet vise à reproduire et analyser des expériences scientifiques sur des heuristiques dédiées à la résolution du problème P||Cmax, un problème classique d'ordonnancement industriel. Il implémente et compare plusieurs algorithmes heuristiques (BPLS, BBLS, LPT, SLACK, etc.) pour optimiser l'ordonnancement de tâches sur des machines parallèles. Les résultats sont visualisés sous forme de graphiques et de tableaux pour évaluer l'efficacité des méthodes proposées.

Ce projet est un cours d'introduction aux méthodes numériques destiné aux étudiants de première année de licence. Il couvre les bases des outils mathématiques et numériques nécessaires à la résolution de problèmes scientifiques. Le contenu est structuré pour faciliter l'apprentissage progressif des concepts clés.

Bibliothèque expérimentale dédiée à l'implémentation de méthodes basées sur les forêts de Kirchhoff sur graphes. Elle propose des estimateurs pour des problèmes d'interpolation et de régularisation, notamment dans le cadre de la résolution de systèmes linéaires de grande échelle. Les algorithmes s'appuient sur des publications scientifiques récentes en traitement du signal et en apprentissage statistique.

Ce projet est un wrapper PID pour la bibliothèque LAPACK, spécialisée dans la résolution de problèmes d'algèbre linéaire. Il fournit des routines optimisées pour des calculs scientifiques avancés, principalement utilisés dans les domaines de la recherche et de l'ingénierie. Le wrapper facilite l'intégration et l'utilisation de LAPACK dans des environnements de développement modernes.

Outil mathématique dédié à la résolution de problèmes de moindres carrés où les matrices et vecteurs ne sont pas explicitement connus. Il utilise des fonctions de rappel pour simuler les actions des opérateurs matriciels et propose une implémentation basée sur l'algorithme GMRES. Principalement utilisé dans le domaine de la recherche mathématique et scientifique pour des calculs numériques avancés.