Projet dédié à la simulation et au test d'algorithmes mathématiques et géométriques. Il permet de valider des calculs numériques, de vérifier des propriétés mathématiques et de simuler des déplacements sur un échiquier. Utilisé pour des tests unitaires et des vérifications de précision dans des contextes scientifiques ou éducatifs.

La bibliothèque mpfi est dédiée au calcul numérique en précision arbitraire pour des intervalles. Basée sur MPFR, elle offre des fonctionnalités puissantes pour la vérification d'inégalités et la détermination de bornes d'erreurs, trouvant ainsi des applications dans l'analyse numérique et l'optimisation.

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.

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 une bibliothèque de fonctions mathématiques et géométriques pour effectuer des calculs numériques, valider des algorithmes et manipuler des coordonnées en deux dimensions. Il inclut des outils pour tester la précision des opérations, gérer des déplacements sur un échiquier virtuel et vérifier des propriétés mathématiques comme la norme ou l'égalité entre valeurs.

Ce projet de recherche en humanités numériques vise à tester les capacités de différents larges modèles de langage (LLM) dans le domaine des réponses à des questions en histoire, en analysant la qualité et la précision des réponses, ainsi qu'en vérifiant la possibilité d'extraire les données prépondérantes dans les réponses générées pour une réutilisation potentielle.