Le projet TD6-Model-math est conçu pour aider les utilisateurs à résoudre des problèmes mathématiques, calculer des équations et des fonctions, et analyser des données statistiques. Il offre des fonctionnalités puissantes de modélisation et de simulation, permettant aux utilisateurs de mieux comprendre et interpréter les phénomènes mathématiques.

Le projet matlab est une plateforme dédiée à l'analyse de données numériques, à la modélisation et simulation de systèmes, ainsi qu'au développement d'algorithmes mathématiques. Il permet aux utilisateurs de travailler avec des fonctions et des algorithmes puissants pour résoudre des problèmes complexes dans différents domaines tels que l'ingénierie, la physique, la finance et les sciences de la vie.

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.

Bibliothèque logicielle dédiée à l'analyse et à la manipulation de fonctions en C++. Elle permet de parser, évaluer et optimiser des fonctions mathématiques ou logicielles, facilitant ainsi leur intégration dans des projets plus larges. Utilisée principalement dans le domaine de la physique des hautes énergies, elle offre des outils pour gérer les arguments, les en-têtes et les opérations mathématiques comme les produits de Hadamard.

Ce projet pédagogique propose des ressources et des exercices pour enseigner les fonctions mathématiques et la création de graphiques. Il s'adresse aux étudiants et enseignants souhaitant approfondir leurs connaissances en analyse fonctionnelle à travers des supports interactifs et des travaux pratiques. Le contenu est structuré pour faciliter l'apprentissage autonome ou encadré.

Bibliothèque C++ dédiée aux calculs mathématiques avancés, à la visualisation de données et à l'analyse de signaux. Elle propose des outils pour manipuler des vecteurs, matrices, fonctions mathématiques, histogrammes et transformées de Fourier. Utilisée principalement dans des contextes de recherche scientifique et d'ingénierie.

Ce projet propose des ressources pédagogiques pour un cours de niveau L1 axé sur les fonctions et les graphiques. Il inclut des supports de cours, des travaux pratiques et des exercices conçus pour faciliter la compréhension des concepts mathématiques fondamentaux. Destiné aux étudiants, il vise à renforcer leurs compétences en analyse et visualisation de fonctions.

Ce projet propose une bibliothèque Rocq qui automatise la traduction des bibliothèques HOL-Light vers Rocq, permettant d'utiliser des théorèmes et fonctions mathématiques dans Rocq. Il facilite l'interopérabilité entre ces deux systèmes de preuve formelle en alignant types et fonctions, et offre un accès à plus de 20 000 théorèmes couvrant des domaines variés comme l'arithmétique, l'algèbre, l'analyse ou la topologie. Les preuves traduites sont fournies sous forme d'axiomes pour une utilisation rapide, avec la possibilité de régénérer et vérifier les preuves originales si nécessaire.

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.

Ce projet propose un modèle mathématique et physique du système électrique français pour évaluer le mix marginal d'électricité en fonction des variations de demande. Il permet d'analyser l'impact des interruptions de consommation à court terme et d'étudier la sensibilité saisonnière du mix énergétique. Le modèle intègre des données de production, d'échanges transfrontaliers et de gestion hydroélectrique pour reproduire les dynamiques quotidiennes et intra-quotidiennes du réseau.