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 étudie la performance de la modulation QPSK dans un contexte de communication multi-utilisateurs en downlink NOMA (Non-Orthogonal Multiple Access). Il combine des dérivations analytiques, des simulations numériques et des validations expérimentales via des outils de radio logicielle. L'objectif est d'analyser l'efficacité des algorithmes de décodage SIC et d'optimiser la répartition de puissance pour améliorer la qualité de transmission dans des scénarios à deux ou trois utilisateurs.

Projet dédié à la validation et au test de fonctions mathématiques et algorithmiques. Il permet de vérifier la précision des calculs numériques, de simuler des déplacements sur un échiquier virtuel et d'automatiser des tests unitaires pour des algorithmes. Utilisé principalement dans un cadre éducatif ou de recherche pour valider des implémentations logicielles.

Ce projet propose des outils logiciels pour manipuler et analyser des images numériques. Il permet de convertir des images en niveaux de gris, d'appliquer des algorithmes de segmentation comme les super-pixels, de détecter des contours via des méthodes comme Sobel, et de binariser des images. Il inclut également des fonctions pour normaliser et inverser des images, ainsi que des tests unitaires pour valider ces opérations.

FPNGlib est une bibliothèque C légère conçue pour générer et manipuler des nombres flottants avec des propriétés et contraintes précises. Elle est principalement utilisée dans le cadre de tests logiciels pour valider le comportement de programmes numériques. La bibliothèque permet de créer des jeux de données contrôlés, facilitant ainsi la détection d'erreurs ou de comportements inattendus dans des applications manipulant des nombres à virgule flottante.

4A/OP est un logiciel scientifique développé par le CNES, le LMD (CNRS/ENS) et NOVELTIS. Il permet de simuler des spectres atmosphériques à partir de données satellitaires ou de modèles numériques. Utilisé principalement en recherche climatique et météorologique, il aide à analyser les propriétés radiatives de l'atmosphère et à valider des modèles de transfert radiatif. Le projet inclut une interface graphique pour faciliter son utilisation par des non-experts.

Libfidostorage est une bibliothèque logicielle permettant de stocker, organiser et partager des fichiers numériques de manière sécurisée et efficace. Elle offre des fonctionnalités avancées de gestion de contenu, telles que la possibilité d'intégrer des workflows de validation et de publication, ainsi que des options de partage et de collaboration avec des tiers.

Plateforme publique permettant aux professionnels de santé et éditeurs de logiciels de tester l'authentification via Pro Santé Connect. L'utilisateur peut valider son accès avec son RPPS de production ou utiliser une identité fictive pour des tests en environnement sécurisé. L'outil facilite la préparation à l'intégration des services numériques de santé.