Ce projet propose des outils et ressources dédiés à l'apprentissage, la résolution et la visualisation de concepts mathématiques. Il permet aux utilisateurs d'explorer des théories, de calculer des équations complexes et de comprendre des notions abstraites grâce à des interfaces interactives et des exemples concrets. Accessible à tous les niveaux, il vise à démocratiser l'accès aux mathématiques.

VsRocq est une extension pour Visual Studio Code et VSCodium qui fournit un support avancé pour le prouveur interactif Rocq (anciennement Coq). Il permet aux utilisateurs de vérifier des preuves mathématiques, de développer des logiciels certifiés et d'enseigner la logique formelle grâce à une intégration fluide avec l'éditeur. L'outil offre des fonctionnalités comme la vérification continue des preuves, une interface interactive pour explorer les objectifs de preuve et un panneau dédié aux requêtes.

Ce projet est une démonstration en ligne d'un outil de visualisation de données graphiques et statistiques. Il permet de générer des graphiques interactifs pour illustrer des concepts mathématiques ou des jeux de données. L'application est conçue pour tester et présenter les fonctionnalités de la bibliothèque ImPlot, intégrée à un environnement graphique léger. Elle s'adresse aux développeurs, chercheurs ou étudiants souhaitant explorer des visualisations de données sans installation locale.

Ce projet pédagogique est un notebook interactif destiné aux étudiants de première année pour les initier aux fonctions mathématiques et à la création de graphiques. Il permet d'explorer visuellement des concepts d'analyse et de manipuler des fonctions via des exercices pratiques. Le contenu est partagé sous licence Creative Commons pour un usage éducatif non commercial.

Projet open source dédié à l'analyse, la visualisation et la simulation de données scientifiques. Il permet aux chercheurs, ingénieurs et data scientists de manipuler des jeux de données complexes, de générer des graphiques interactifs et de modéliser des phénomènes physiques ou mathématiques. Les outils intégrés facilitent l'exploration et la compréhension des données pour des applications variées en recherche ou en industrie.

MathGraph32 est un logiciel libre et multiplateforme dédié à la géométrie, à l'analyse et à la simulation mathématique. Il permet aux utilisateurs de créer des figures géométriques, d'analyser des fonctions et de visualiser des courbes de manière interactive. Accessible en ligne ou téléchargeable, il s'adresse aux enseignants, élèves et passionnés de mathématiques souhaitant explorer des concepts visuels et dynamiques.

Instrumenpoche est un outil pédagogique numérique permettant de créer et d'animer des figures géométriques interactives. Il facilite l'enseignement des mathématiques en offrant une visualisation dynamique des constructions géométriques. Les enseignants et élèves peuvent manipuler virtuellement des instruments de géométrie (règle, compas, équerre) pour explorer des concepts mathématiques de manière intuitive. Le projet s'intègre facilement dans des pages web ou des applications éducatives.

Ce projet permet de simuler et d'analyser des jeux de type 'cops and robber' sur des graphes mathématiques. Il offre une interface pour visualiser les déplacements des joueurs, évaluer les stratégies de capture et étudier les propriétés des graphes sous-jacents. Idéal pour les chercheurs ou enseignants en mathématiques discrètes, il facilite l'exploration interactive des concepts de théorie des graphes et de jeux combinatoires.

Projet dédié à l'automatisation et à l'assistance de la vérification de preuves mathématiques formelles à l'aide d'agents IA. Il propose des outils pour écrire, vérifier et corriger des preuves dans le langage Lambdapi, ainsi qu'un environnement de benchmarking pour évaluer les performances des agents. Le projet explore également différentes approches d'interaction entre agents et outils de preuve.

Ce projet permet de visualiser la répartition des nombres premiers sous forme de spirales géométriques, notamment en pyramide ou en cône. Il offre une approche visuelle et interactive pour explorer les motifs mathématiques liés aux nombres premiers, facilitant ainsi la compréhension des propriétés arithmétiques.