Outil permettant de créer des diaporamas interactifs et dynamiques à partir de fichiers Markdown. Facilite la conception de présentations visuelles pour des formations, des réunions ou des conférences, avec des fonctionnalités avancées comme l'ajout de notes, des annotations, des formules mathématiques et des diagrammes. Idéal pour les enseignants, formateurs ou professionnels souhaitant des supports clairs et personnalisables.

Outil permettant de créer des diaporamas interactifs et dynamiques à partir de fichiers Markdown. Facilite la conception de présentations visuelles pour des usages éducatifs, professionnels ou de formation. Intègre des fonctionnalités avancées comme des tableaux blancs, des annotations, des formules mathématiques et des diagrammes Mermaid pour enrichir le contenu.

L'ENM (École Nationale de la Météorologie) propose des ressources pédagogiques en mathématiques pour ses étudiants. Ce dépôt contient les supports de cours, exercices et travaux pratiques nécessaires à la formation académique des élèves de l'école.

Plateforme collaborative dédiée à la création, au partage et à la gestion d'exercices de mathématiques. Elle permet aux enseignants, étudiants et passionnés d'accéder à une base d'exercices variés, de les organiser en listes personnalisées et de les exporter dans différents formats. L'application facilite également l'importation de contenus depuis d'autres sources pour enrichir sa base de données.

Ce plugin permet d'intégrer des activités MathALÉA dans Sésathèque, une plateforme éducative dédiée aux enseignants. Il facilite la création, l'édition et le suivi d'exercices mathématiques paramétrables. Les enseignants peuvent sélectionner des exercices, les afficher aux élèves via une iframe, et récupérer automatiquement les résultats dans le format attendu par Sésathèque. Le plugin gère la communication entre les deux plateformes et assure la compatibilité avec les protocoles existants.

Ce projet propose un cours complet sur le calcul différentiel et les équations différentielles ordinaires, destiné à une formation en modélisation et intelligence artificielle. Il inclut un polycopié détaillé, des travaux pratiques utilisant le langage Julia, et des ressources complémentaires pour approfondir les liens entre ces concepts mathématiques et l'apprentissage automatique. Le contenu est adapté à un public étudiant en formation continue ou initiale.

Outil de traduction automatique permettant de convertir des fichiers au format Rec vers le format Dedukti. Ce projet facilite l'interopérabilité entre différents systèmes de preuve formelle, notamment pour la vérification de théorèmes en logique mathématique. Il s'adresse principalement aux chercheurs et développeurs travaillant dans le domaine de la démonstration automatique et de la logique formelle.

Ce projet est un notebook pédagogique destiné à l'enseignement des fonctions mathématiques et de la création de graphiques. Il s'adresse principalement aux étudiants de première année universitaire ou en formation initiale. Le contenu est structuré pour faciliter l'apprentissage interactif et la visualisation des concepts mathématiques à travers des exemples concrets et des exercices pratiques.

Ce projet est un notebook pédagogique destiné à l'enseignement des fonctions mathématiques et de la création de graphiques. Il s'adresse aux étudiants de première année universitaire ou en formation initiale. Le contenu est structuré pour faciliter l'apprentissage interactif et la visualisation des concepts mathématiques à travers des exercices pratiques et des exemples concrets.

Ce projet pédagogique propose un support d'enseignement sur les séries génératrices, un concept fondamental en algorithmique et combinatoire. Il inclut des cours théoriques, des sujets de travaux pratiques et des consignes pour les étudiants. Destiné aux formations universitaires avancées, il facilite l'apprentissage et l'évaluation des compétences en mathématiques discrètes et en programmation.