Ce projet se concentre sur l'étude approfondie des théories des ensembles et des fondements des mathématiques. Il vise à analyser, comparer et formaliser les différentes approches axiomatiques de la théorie des ensembles, tout en explorant leurs implications logiques et philosophiques. L'objectif est de fournir des outils et des ressources pour les chercheurs et étudiants en mathématiques pures.

Projet pédagogique dédié à l'étude et à la résolution de problèmes liés aux graphes. Il propose des exercices pratiques et des algorithmes pour comprendre les concepts fondamentaux de la théorie des graphes, souvent utilisés en informatique et en mathématiques. Destiné aux étudiants ou à toute personne souhaitant approfondir ses connaissances dans ce domaine.

Ce projet propose des ressources pédagogiques en mathématiques destinées aux apprentis. Il inclut des cours, des travaux dirigés et des compléments théoriques couvrant des sujets comme les suites, les fonctions et les développements limités. L'objectif est d'aider les étudiants à renforcer leurs compétences en mathématiques pour leur parcours professionnel.

Ce projet permet de dessiner des diagrammes de Dynkin dans des documents LaTeX à l'aide du package TikZ. Il facilite la représentation visuelle des systèmes de racines en algèbre et en théorie des groupes, souvent utilisés en mathématiques avancées et en physique théorique. L'outil est particulièrement utile pour les chercheurs, enseignants et étudiants travaillant sur des sujets nécessitant une visualisation précise de ces structures.

Ce projet est un support pédagogique destiné à l'enseignement des bases de la programmation scientifique avec Python. Il couvre spécifiquement l'utilisation de la bibliothèque numpy, un outil essentiel pour le calcul numérique en Python. Destiné aux étudiants, il propose des cours théoriques et des travaux pratiques pour maîtriser les fonctionnalités clés de numpy, comme les tableaux multidimensionnels et les opérations mathématiques avancées.

Ce projet rassemble des ressources pédagogiques sous forme de notebooks pour accompagner les étudiants en mathématiques appliquées et en modélisation. Il couvre les méthodes numériques et les équations aux dérivées partielles, en proposant des exercices et des exemples concrets pour faciliter la compréhension des concepts enseignés en cours. Destiné aux étudiants de niveau master 1, il sert de support complémentaire aux enseignements théoriques.

Ce projet académique propose un enseignement complet en programmation fonctionnelle et en preuves formelles utilisant l'assistant de preuve Coq/Rocq. Destiné aux étudiants de Master 2 LMFI de l'Université de Paris, il couvre des sujets avancés comme la compression de données, la compilation certifiée et la formalisation de théorèmes mathématiques. Les étudiants réalisent des projets pratiques pour appliquer ces concepts théoriques.

Ce projet est une ressource pédagogique destinée aux étudiants de première année pour les aider à comprendre les fonctions et les graphiques en mathématiques. Il propose des cours théoriques, des travaux pratiques et des exercices guidés pour faciliter l'apprentissage et la visualisation des concepts mathématiques de base.

Ce projet propose une formation approfondie sur les méthodes géométriques et numériques en contrôle optimal. Il couvre notamment le principe du maximum de Pontryagin et ses applications via des méthodes de tir simple et multiple. Destiné aux étudiants et chercheurs, il combine théorie mathématique et implémentation pratique à travers des notebooks Python, des exercices corrigés et des supports de cours détaillés.

Aude est un logiciel libre conçu pour enseigner et expérimenter avec les automates finis, outils mathématiques fondamentaux en informatique. Il permet de créer, dessiner et manipuler des automates, d'écrire des algorithmes dédiés via un langage inspiré de JavaScript (Audescript), et d'exécuter des algorithmes prédéfinis. Idéal pour les étudiants, enseignants et chercheurs, il facilite la compréhension des concepts théoriques tout en offrant une interface intuitive et des outils visuels.