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 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.

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.

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.