Ce projet propose un ensemble de notebooks Jupyter dédiés à l'étude des limites hydrodynamiques des systèmes de particules en interaction. Il s'adresse principalement aux étudiants et chercheurs en physique ou mathématiques appliquées. Les outils développés permettent de simuler des comportements de fluides, d'analyser des données expérimentales et de visualiser des résultats pour des applications en recherche ou en enseignement.

Meteor HPC est une bibliothèque dédiée à la simulation numérique haute performance pour résoudre des problèmes physiques complexes. Elle permet de modéliser des flux, des conditions aux limites et des erreurs numériques dans des environnements périodiques ou non. Utilisée en recherche scientifique, elle facilite l'analyse de schémas numériques et l'optimisation de méthodes de calcul pour des applications en physique, ingénierie ou mathématiques appliquées.

Le Fshapes Tool Kit (fshapesTk) est une boîte à outils dédiée à l'analyse de formes fonctionnelles, c'est-à-dire des ensembles de points, courbes ou surfaces sur lesquels est défini un champ scalaire. Il permet de reproduire des études mathématiques avancées pour comparer, transformer ou analyser ces formes, notamment dans le cadre de recherches en mathématiques appliquées et en traitement de données géométriques.

Ce projet permet de calculer et d'analyser les volumes d'ensembles semi-algébriques, une notion centrale en géométrie algébrique et en mathématiques appliquées. Il offre des outils pour étudier des objets géométriques définis par des inégalités polynomiales, facilitant la recherche théorique et les applications pratiques en optimisation ou en modélisation.

Ce projet est une bibliothèque logicielle dédiée à la recherche et à la validation de racines multiples pour des polynômes univariés denses, réels ou complexes. Il implémente des algorithmes avancés pour calculer des approximations numériques des racines et leurs multiplicités, puis fournit des méthodes garanties pour obtenir des encadrements rigoureux de ces racines. Utilisé principalement en mathématiques appliquées et en calcul scientifique, il permet d'améliorer la précision des solutions dans des contextes où la rigueur est essentielle.

Ce projet permet d'analyser des systèmes bilinéaires en déterminant des bornes inférieures et supérieures pour leurs propriétés. Il offre des fonctionnalités avancées comme l'identification de motifs primitifs, la génération de certificats sous forme d'arbres, et l'optimisation des calculs via des méthodes comme le rayon spectral ou la gestion de systèmes épars. Les outils développés sont utiles pour la recherche en mathématiques appliquées ou en informatique théorique.

Projet de recherche et développement en mathématiques appliquées et informatique, mené par Inria Bordeaux. Il vise à concevoir des solveurs directs et itératifs performants pour des applications scientifiques et industrielles. Les travaux s'appuient sur des runtimes avancés pour accélérer les calculs et améliorer l'efficacité des simulations numériques.

Automaton-ABC est une méthode statistique conçue pour estimer la probabilité de propriétés spatio-temporelles dans des modèles markoviens paramétriques de population. Ce projet permet d'analyser des systèmes biologiques ou physiques complexes en simulant leur comportement et en validant des hypothèses statistiques. Il s'appuie sur des outils mathématiques avancés pour fournir des résultats précis et exploitables dans le cadre de recherches théoriques ou appliquées.

Le projet cmake_external_ipopt est une interface externe pour Ipopt, un solveur d'optimisation numérique open-source. Il permet de résoudre des problèmes d'optimisation non linéaire en proposant des solutions approchées efficaces et performantes. Cet outil est particulièrement utile dans les domaines de la recherche opérationnelle, de l'ingénierie et des mathématiques appliquées.

Projet dédié à la manipulation et à l'analyse d'ensembles mathématiques. Il permet de créer, modifier et interroger des ensembles, ainsi que de générer des éléments aléatoires inclus dans ces ensembles. Utilisé pour des applications éducatives ou de recherche en mathématiques discrètes.