Ce projet propose une bibliothèque de fonctions mathématiques et géométriques pour effectuer des calculs avancés et des tests automatisés. Il inclut des outils pour manipuler des coordonnées, des pièces d'échecs et des normes vectorielles, ainsi que des vérifications de précision numérique. Idéal pour des applications nécessitant des calculs précis ou des simulations.

Ce projet propose une bibliothèque de fonctions mathématiques et de gestion pour des calculs numériques avancés. Il inclut des outils pour valider des opérations arithmétiques, manipuler des coordonnées et des pièces, ainsi que des tests unitaires pour assurer la fiabilité des calculs. Idéal pour des applications nécessitant des calculs précis ou des simulations.

Ce projet fournit une bibliothèque Python dédiée au calcul des racines d'un polynôme en s'appuyant sur une implémentation C optimisée. Il facilite l'intégration de fonctionnalités mathématiques avancées dans des applications logicielles, notamment pour les domaines nécessitant des calculs numériques précis. La solution est conçue pour être réutilisable et intégrée dans d'autres projets via une interface Python standardisée.

AngPow est un logiciel scientifique développé au Laboratoire de l'Accélérateur Linéaire (LAL/CNRS) pour calculer des spectres de puissance angulaire entre deux coques de décalage vers le rouge. Il permet d'analyser les corrélations cosmiques en intégrant des fonctions de sélection de décalage vers le rouge et des modèles de croissance des structures. L'outil inclut des approximations de Limber et des méthodes numériques avancées pour des calculs précis en cosmologie.

Capla est un langage de programmation dédié aux bibliothèques numériques bas niveau, conçu pour améliorer la confiance dans des outils comme GMP ou BLAS. Il garantit la sécurité mémoire et temporelle des programmes générés grâce à une sémantique formalisée et un compilateur prouvé. Le langage cible principalement les applications nécessitant des calculs précis et performants, comme les bibliothèques d'algèbre linéaire ou les systèmes critiques.

Outil open source dédié à l'analyse, la visualisation et la simulation de données scientifiques. Il permet aux chercheurs et ingénieurs de traiter des données numériques complexes, de générer des graphiques précis et d'explorer des phénomènes physiques ou astronomiques. Idéal pour les projets nécessitant des calculs avancés et des représentations visuelles.

Ce projet est une bibliothèque de conversion d'unités de mesure courantes (longueur, volume) et de calcul de valeurs numériques. Il permet aux utilisateurs de transformer des mesures entre différentes unités (mètres, pouces, pieds, litres, gallons) et d'obtenir des résultats précis pour des besoins techniques ou quotidiens.

Ce projet explore la vitesse de convergence dans le théorème de Boyd-Lawton pour la mesure de Mahler. Il permet de calculer efficacement des séquences de mesures de Mahler de polynômes bivariés à coefficients entiers. L'outil compare les mesures obtenues avec des valeurs théoriques connues et génère des résultats numériques précis sous forme de listes ou de fichiers exportables.

Le projet samellou est dédié au traitement et à l'analyse de données numériques, offrant des fonctionnalités avancées de calcul mathématique et de prévision de tendances. Il permet aux utilisateurs de manipuler et d'interpréter efficacement des ensembles de données complexes grâce à des algorithmes puissants et précis.

SHTns est une bibliothèque haute performance dédiée aux Transformations en Harmoniques Sphériques, conçue pour les simulations numériques dans des géométries sphériques. Elle permet des calculs rapides et précis pour des applications scientifiques comme la dynamique des fluides, la magnétohydrodynamique ou l'étude des champs géophysiques. Compatible avec plusieurs langages, elle optimise les performances grâce à des techniques avancées comme le parallélisme OpenMP ou les accélérations GPU.