Rez-Mež est un outil dédié à l'analyse de la résistance des contre-modèles en logique propositionnelle. Il permet d'évaluer comment des familles d'opérateurs extensifs affectent la robustesse des interprétations initiales d'une formule. Le projet propose également des fonctionnalités pour convertir des formules en forme normale disjonctive (DNF) et pour mesurer des métriques spécifiques comme le delta H ou le nu O. Développé dans le cadre du projet BLaSST, il s'inscrit dans un contexte de recherche académique et industrielle en logique et vérification formelle.

Ce projet est un outil pédagogique dédié à l'analyse et à l'évaluation d'expressions mathématiques. Il permet de construire des arbres syntaxiques à partir de formules, facilitant ainsi la compréhension des structures algébriques. Destiné principalement à un usage académique, il sert de support pour des travaux pratiques ou des démonstrations en informatique théorique.

Ce projet développe des outils pour concevoir et évaluer des circuits quantiques optimisés, réduisant le nombre de qubits nécessaires pour des algorithmes spécifiques. Il permet de tester et comparer des implémentations quantiques, notamment pour des opérations comme l'inversion de matrices ou la multiplication de polynômes binaires. Les résultats sont utilisés pour valider des formules théoriques et améliorer l'efficacité des algorithmes quantiques dans le domaine du décodage d'information.

Ce projet contient un modèle Onelab pour la résolution de divers problèmes électromagnétiques 3D sur un objet isolé : calcul de la matrice T, modes quasi-normaux, réponse à une onde plane et fonction de Green (par exemple, pour calculer la densité locale d'états). Il contient diverses fonctionnalités utiles en électromagnétisme : harmoniques sphériques vectorielles (également appelées harmoniques sphériques vectorielles), formulation du champ total avec une illumination par une source ponctuelle (« une delta orientée »), problèmes d'évaluation linéaires, formulation du champ diffusé et PML sphériques.

Ce projet est une preuve de concept (PoC) dédiée à l'implémentation et à la comparaison de méthodes de multiplication scalaire sur des courbes de Kummer. Il inclut des scripts pour évaluer les performances de l'échelle de Montgomery et de l'échelle hybride, ainsi que des outils de vérification pour confirmer la justesse des formules mathématiques utilisées. L'objectif est d'améliorer l'efficacité des protocoles cryptographiques basés sur les isogénies.

Ce projet est une implémentation logicielle associée à une publication scientifique en cryptographie quantique. Il permet d'analyser et d'optimiser des attaques par requête unique sur des algorithmes de chiffrement modernes comme Rocca, Rocca-S, Tiaoxin et AEGIS. Les outils développés génèrent des formules mathématiques et calculent des paramètres d'attaque pour évaluer la robustesse des systèmes cryptographiques face à des attaques quantiques.

Ce plugin permet d'intégrer des questionnaires à choix multiples (QCM) dans la sésathèque, une plateforme dédiée à l'enseignement et à l'apprentissage. Il offre aux enseignants la possibilité de concevoir des évaluations interactives avec des énoncés, des réponses et des corrigés enrichis en texte et en formules mathématiques via LaTeX. Les élèves bénéficient d'un rendu dynamique des contenus, notamment pour les équations mathématiques.

Bibliothèque logicielle dédiée à la manipulation, l'analyse et la simplification d'expressions mathématiques. Elle permet de parser, évaluer et transformer des formules algébriques complexes en fournissant des outils pour le calcul symbolique et numérique. Utilisée dans des contextes scientifiques ou techniques nécessitant une gestion avancée des équations.

Ce projet fournit un cadre d'étude complet sur l'influence de la forme des NDF (Normal Distribution Functions) sur les aspects des matériaux rendus. Il propose une représentation piècewise continue des NDF, ainsi que des formulations d'échantillonnage et de fonctions d'ombrage-masquage associées pour des calculs d'éclairage global efficaces. Il inclut également une procédure de génération de microgéométrie explicite pour évaluer la validité des modèles analytiques et les effets de diffusion multiple.

OpenFisca France Entreprises est un outil open source qui modélise et simule le système fiscal et social français appliqué aux entreprises, notamment en matière de fiscalité carbone. Il permet aux utilisateurs de calculer les taxes, subventions et réformes législatives pour évaluer leur impact économique et financier. Ce projet facilite la compréhension et l'application des politiques publiques en offrant une base de données et des formules de calcul accessibles et personnalisables.